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

Členové skupiny

Vedoucí skupiny

Členové

Hruška Tomáš, prof. Ing., CSc., 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
Jirák Ota, Ing., UIFS FIT VUT
  • Formální jazyky, automaty, gramatiky
  • Překladače a disasemblery
  • Analýza EXE kódu
  • Informační systémy
Kolář Dušan, doc. Dr. Ing., 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., Správce stránek, UIFS FIT VUT
  • teoretická informatika, formální jazyky
  • automaty, řízené gramatiky
  • vestavěné zařízení, FPGA, vývojové nástroje, překladače
  • Android (zajímavé aplikace vzniklé pod mým vedením: PDF Anotátor, Offline wiki editor)
  • Eclipse, Smalltalk (Squeak), .NET (C#, ASP.NET), Python
Křoustek Jakub, Ing., UIFS FIT VUT
  • Reverzní inženýrství
  • Analýza a transformace kódů
  • Kryptografie a bezpečnost v informačních technologiích
  • Teoretická informatika, formální jazyky a překladače
  • Virový výzkum
Kučera Jiří, Ing., UIFS FIT VUT
  • formální jazyky, překladače
  • systémy formálních modelů
Meduna Alexander, prof. RNDr., CSc., Vedoucí výzkumné skupiny, UIFS FIT VUT
  • matematicky orientovaná informatika
Navrátil Ondřej, Ing., UIFS FIT VUT
  • formální jazyky a překladače
Soukup Ondřej, Ing., UIFS FIT VUT
 
Zemek Petr, Ing., UIFS FIT VUT
Židek Stanislav, Ing., UIFS FIT VUT
  • paralelní gramatiky a jejich aplikace
  • teorie her
  • bezpečnost, kryptografie
  • vlastně cokoliv, co mě zaujme :)

Vaše IPv4 adresa: 54.211.138.180
Přepnout na IPv6 spojení

DNSSEC [dnssec]