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

Teaching

Lecture courses:

• FAV-2009/W, Formal Analysis and Verification, IT-MSC-2E, IT-MSC-2
• IOS-2009/S, Operating Systems, IT-BC-3
• TIN-2009/W, Theoretical Computer Science, IT-MSC-2, IT-MSC-2E
• STI-2009/W, Theoretical Computer Science Seminar, IT-MSC-2

Laboratory exercises:

• TIN-2009/W, Theoretical Computer Science, IT-MSC-2, IT-MSC-2E

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
• Rogalewicz Adam, Mgr., dissertation in 2007:
  
  Verification of programs with complex data structures

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
• Holík Lukáš, Mgr., research theme:
  
  Formal Verification of Software Using the Automata Theory
• Hrubá Vendula, Ing., research theme:
  
  Self-healing of Programs and Problems of Software Model Checking Associated with It -- co-supervised by dr. B. Krena
• 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)
• Letko Zdeněk, Ing., research theme:
  
  Analysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
• Smrčka Aleš, Ing., research theme:
  
  Verification of Modern Hardware Systems
• Š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)