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

https://verifit.webnode.cz/

Výzkumníci

[photo]

Češka Milan, prof. RNDr., CSc.

výzkumník, UITS FIT VUT
  • teorie formálních jazyků a automatů
  • formání specifikace
  • teorie a aplikace Petriho sítí
  • modelování a simulace
[photo]

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

výzkumník, UITS FIT VUT
[photo]

Fiedor Jan, Ing., Ph.D.

výzkumník, UITS FIT VUT
[photo]

Fiedor Tomáš, Ing., Ph.D.

výzkumník, UITS FIT VUT
[photo]

Havlena Vojtěch, Ing.

výzkumník, UITS FIT VUT
[photo]

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

výzkumník, UITS FIT VUT
[photo]

Hruška Martin, Ing.

výzkumník, UITS FIT VUT
  • Formální analýza a verifikace
[photo]

Charvát Lukáš, Ing.

výzkumník, UITS FIT VUT
[photo]

Janků Petr, Ing.

výzkumník, UITS FIT VUT
[photo]

Křena Bohuslav, Ing., Ph.D.

výzkumník, UITS FIT VUT
  • Formalní analýza a verifikace
[photo]

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

výzkumník, UITS FIT VUT
[photo]

Malík Viktor, Ing.

výzkumník, UITS FIT VUT
[photo]

Martiček Štefan, Ing.

výzkumník, UITS FIT VUT
[photo]

Matyáš Jiří, Ing.

výzkumník, UITS FIT VUT
[photo]

Peringer Petr, Dr. Ing.

výzkumník, UITS FIT VUT
  • Modelování a simulace
  • Verifikace programů
  • Objektově-orientované programování, návrhové vzory
  • Programovací jazyky C a C++
[photo]

Pluháčková Hana, Mgr. Bc.

výzkumník, UITS FIT VUT
[photo]

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

výzkumník, UITS FIT VUT
[photo]

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

výzkumník, UITS FIT VUT
  • Testování softwaru, automatizace testů
  • Modelování a verifikace počítačových systémů
  • Dynamická analýza paralelních programů
[photo]

Šoková Veronika, Ing.

výzkumník, UITS FIT VUT
[photo]

Turoňová Lenka, Ing.

výzkumník, UITS FIT VUT
[photo]

Valeš Ondřej, Ing.

výzkumník, UITS FIT VUT
[photo]

Vargovčík Pavol, Ing.

výzkumník, UITS FIT VUT
[photo]

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

výzkumník, UITS FIT VUT

Bývalí členové skupiny

Nahoru