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) 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
Meduna Alexander, prof. RNDr., CSc., Vedoucí výzkumné skupiny, UIFS FIT VUT
	matematicky orientovaná informatika
Zemek Petr, Ing., UIFS FIT VUT
	teorie formálních jazyků, speciálně řízené gramatiky a automaty zpětné inženýrství, speciálně zpětný překlad (dekompilace) - vyzkoušejte si náš nástroj online!
Židek Stanislav, Ing., UIFS FIT VUT
	paralelní gramatiky a jejich aplikace teorie her bezpečnost, kryptografie vlastně cokoliv, co mě zaujme :)