Prof. Ing. Tomáš Vojnar, Ph.D.

Lecture courses:

• FAV-2011/W, Formal Analysis and Verification, IT-MSC-2E, IT-MSC-2
• FAD-2011/W, Formal Program Analysis, CSE-PHD-4
• IOS-2011/S, Operating Systems, IT-BC-3
• TIN-2011/W, Theoretical Computer Science, IT-BC-1H, IT-MGR-1H, IT-MSC-2, IT-MSC-2E
• STI-2011/W, Theoretical Computer Science Seminar, IT-MSC-2

Laboratory exercises:

• TIN-2011/W, Theoretical Computer Science, IT-BC-1H, IT-MSC-2E, IT-MSC-2, IT-MGR-1H

Consulting hours:

To be fixed individually via email.

Graduated Ph.D. Students:

• Erlebach Pavel, Ing., dissertation in 2009:
  
  Automatic Verification of Programs Working with Dynamic Data Structures
• Holík Lukáš, Mgr., dissertation in 2011:
  
  Simulace a protiřetězce pro efektivní práci s konečnými automaty
• Rogalewicz Adam, Mgr., dissertation in 2007:
  
  Verification of programs with complex data structures
• Smrčka Aleš, Ing., dissertation in 2010:
  
  Verification of Asynchronous and Parametrized Hardware Designs

Current Ph.D. Students:

• Dudka Kamil, Ing., research theme:
  
  Automated Formal Verification in the Area of Operating Systems
• Fiedor Jan, Ing., research theme:
  
  Practical Methods of Automated Verification of Concurrent Programs
• Hrubá Vendula, Ing., research theme:
  
  Self-healing of Programs and Problems of Software Model Checking Associated with It -- co-supervised by dr. B. Krena
• Charvát Lukáš, Ing., research theme:
  
  Automated Verification in Hardware Design and Hardware/Software Codesign
• Konečný Filip, Ing., research theme:
  
  Symbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
• Lengál Ondřej, Ing., research theme:
  
  Efficient Algorithms for Using Automata in Infinite-State Verification
• Letko Zdeněk, Ing., research theme:
  
  Analysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
• Müller Petr, Ing., research theme:
  
  Practical Algorithms Using Suitable Logics in Program Verification
• Šimáček Jiří, Ing., research theme:
  
  Symbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)