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

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

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

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
• Konečný Filip, Ing., disertace v roce 2012:
  
  Relační verifikace programů s celočíselnými daty
• Letko Zdeněk, Ing., disertace v roce 2012:
  
  Analýza a testování vícevláknových programů
• 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
• Šimáček Jiří, Ing., disertace v roce 2012:
  
  Verifikace Programů se složitými datovými strukturami

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
• 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ů -- společné vedení s dr. L. Holíkem
• Müller Petr, Ing., téma disertační práce:
  
  Praktické algoritmy využívající vhodné typy logik ve formální verifikaci programů