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

Přednášky v předmětech:

• FAV-2011/Z, Formální analýza a verifikace, IT-MGR-2E, IT-MGR-2
• FAD-2011/Z, Formální analýza programů, VTI-DR-4
• IOS-2011/L, Operační systémy, IT-BC-3
• STI-2011/Z, Seminář teoretické informatiky, IT-MGR-2
• TIN-2011/Z, Teoretická informatika, IT-MGR-2E, IT-MGR-2, IT-MGR-1H, IT-BC-1H

Cvičení v předmětech:

• TIN-2011/Z, Teoretická informatika, IT-BC-1H, IT-MGR-1H, IT-MGR-2, IT-MGR-2E

Konzultační hodiny:

Po dohodě emailem.

Disertovaní studenti doktorského studia:

• Erlebach Pavel, Ing., disertace v roce 2009:
  
  Automatická verifikace programů pracujících s dynamickými datovými strukturami
• Holík Lukáš, Mgr., disertace v roce 2011:
  
  Simulations and Antichains for Efficient Handling of Finite Automata
• Rogalewicz Adam, Mgr., disertace v roce 2007:
  
  Verifikace programů se složitými datovými strukturami
• Smrčka Aleš, Ing., disertace v roce 2010:
  
  Verifikace asynchronních a parametrických návrhů hardware

Studenti doktorského studia:

• Dudka Kamil, Ing., téma disertační práce:
  
  Automatizovaná formální verifikace v operačních systémech
• Fiedor Jan, Ing., téma disertační práce:
  
  Praktické metody automatizované verifikace paralelních programů
• Hrubá Vendula, Ing., téma disertační práce:
  
  Automatické opravování programů a s ním související problémy model checkingu programů -- společné vedení s dr. B. Křenou
• Charvát Lukáš, Ing., téma disertační práce:
  
  Automatická verifikace v procesu návrhu hardware a souběžného návrhu hardware/software
• Konečný Filip, Ing., téma disertační práce:
  
  Symbolická verifikace s využitím rozšířených automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)
• Lengál Ondřej, Ing., téma disertační práce:
  
  Efektivní algoritmy pro práci s automaty ve formální verifikaci nekonečně stavových systémů
• Letko Zdeněk, Ing., téma disertační práce:
  
  Analýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
• Müller Petr, Ing., téma disertační práce:
  
  Praktické algoritmy využívající vhodné typy logik ve formální verifikaci programů
• Šimáček Jiří, Ing., téma disertační práce:
  
  Symbolická verifikace s využitím konečných automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)