Fakulta informačních technologií VUT v Brně

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

Hlavní výzkumník

Hlavní výzkumník

Výzkumníci

Hruška Tomáš, prof. Ing., CSc.

výzkumník, UIFS FIT VUT

  • Formální modely
  • Informační a databázové systémy
  • OLAP technologie
  • Formální jazyky a automaty
  • Překladače a programovací jazyky
  • Nástroje pro tvorbu a programování vestavných systémů
  • Hardware/software co-design, projekt Lissom

Kolář Dušan, doc. Dr. Ing.

výzkumník, UIFS FIT VUT

  • Formální jazyky a automaty
  • Překladače a programovací jazyky
  • 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, UIFS FIT VUT

Doktorandi

Jirák Ota, Ing.

Ph.D. student, UIFS FIT VUT

  • Formální jazyky, automaty, gramatiky
  • Překladače a disasemblery
  • Analýza EXE kódu
  • Informační systémy

Kocman Radim, Ing.

Ph.D. student, UIFS FIT VUT

  • teoretická informatika, formální jazyky
  • skákající konečné automaty

Kučera Jiří, Ing.

Ph.D. student, UIFS FIT VUT

  • formální jazyky, překladače
  • systémy formálních modelů
Nahoru