prof. Ing. Tomáš Vojnar, Ph.D.
Department head, Department of Computer Systems and Communications
Office: B405
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 8211 |
---|---|
E‑mail: |
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
- Statická analýza sémantické ekvivalence programů – ongoing study