Výzkumná skupina formálních modelů

Hlavní výzkumník

Členové

.

Hlavní výzkumník

Meduna Alexandr, prof. RNDr., CSc.

Hlavní výzkumník

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
Nahoru