Automata@FIT

Hlavní výzkumník

Holík Lukáš, doc. Mgr., Ph.D.

Hlavní výzkumník

Formální metody, zejména komečné automaty a logiky, a jejich aplikace v automatickém usuzování, zejména v analýze a verifikaci systémů.

Člen pracovní skupiny

Andriushchenko Roman, Ing.

Člen pracovní skupiny

Češka Milan, doc. RNDr., Ph.D.

Člen pracovní skupiny

Havlena Vojtěch, Ing., Ph.D.

Člen pracovní skupiny

Hečko Michal, Bc.

Člen pracovní skupiny

Hruška Martin, Ing.

Člen pracovní skupiny

Chocholatý David, Bc.

Člen pracovní skupiny

Janků Petr, Ing.

Člen pracovní skupiny

Jawed Soyiba, Dr., MSc

Člen pracovní skupiny

Lengál Ondřej, Ing., Ph.D.

Člen pracovní skupiny

Macák Filip, Ing.

Člen pracovní skupiny

Rogalewicz Adam, doc. Mgr., Ph.D.

Člen pracovní skupiny

Síč Juraj, Mgr.

Člen pracovní skupiny

Smrčka Aleš, Ing., Ph.D.

Člen pracovní skupiny
  • Testování softwaru
  • Automatizace testů
  • Formální analýza a verifikace

Šedý Michal, Bc.

Člen pracovní skupiny
Nahoru