Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

Členové skupiny

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
  • teorie formálních jazyků a automatů
  • formání specifikace
  • teorie a aplikace Petriho sítí
  • modelování a simulace
Češka Milan, RNDr., Ph.D., UITS FIT VUT
 
Fiedor Jan, Ing., Ph.D., UITS FIT VUT
 
Fiedor Tomáš, Ing., UITS FIT VUT
 
Havlena Vojtěch, Ing., UITS FIT VUT
 
Holík Lukáš, Mgr., Ph.D., UITS FIT VUT
 
Hruška Martin, Ing., UITS FIT VUT
  • Formální analýza a verifikace
Charvát Lukáš, Ing., UITS FIT VUT
 
Janků Petr, Ing., UITS FIT VUT
 
Kotoun Michal, Bc., FIT VUT
 
Křena Bohuslav, Ing., Ph.D., UITS FIT VUT
  • Formalní analýza a verifikace
Lengál Ondřej, Ing., Ph.D., UITS FIT VUT
 
Malík Viktor, Ing., UITS FIT VUT
 
Matyáš Jiří, Ing., UITS FIT VUT
 
Peringer Petr, Dr. Ing., UITS FIT VUT
 
  • Modelování a simulace
  • Verifikace programů
  • Objektově-orientované programování, návrhové vzory
  • Programovací jazyky C a C++
Pluháčková Hana, Mgr. Bc., UITS FIT VUT
 
Rogalewicz Adam, doc. Mgr., Ph.D., UITS FIT VUT
 
Síč Juraj, Bc., VCIT FIT VUT
  
Smrčka Aleš, Ing., Ph.D., UITS FIT VUT
  • Testování softwaru, automatizace testů
  • Modelování a verifikace počítačových systémů
  • Dynamická analýza paralelních programů
Šimáček Jiří, Ing., Ph.D., UITS FIT VUT
 
Šoková Veronika, Ing., UITS FIT VUT
 
Turoňová Lenka, Ing., UITS FIT VUT
 
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT
 

Bývalí členové skupiny

Vaše IPv4 adresa: 54.172.234.236
Přepnout na https