Výzkumná skupina formálních modelů
Hlavní výzkumník
Meduna Alexandr, prof. RNDr., CSc.
Hlavní výzkumník
- matematicky orientovaná informatika
- Moje pracovní stránka (převážně anglicky)
Výzkumník
Kocman Radim, Ing., Ph.D.
Výzkumník
- teoretická informatika, formální jazyky
- skákající konečné automaty
Kolář Dušan, doc. Dr. Ing.
Výzkumník
- Formální jazyky a automaty
- Překladače a programovací jazyky
- Reverzní inženýrství, boj s malware
- Pokročilé DB systémy
- Modelování a simulace v informačních systémech
- Nástroje pro tvorbu a programování vestavných systémů
Křivka Zbyněk, Ing., Ph.D.
Výzkumník
- Formální jazyky, gramatiky, automaty
- Skákající modely