Formal Model Research Group

Team members

Research Group Leader

Members

Čermák Martin, Ing., UIFS FIT VUT
	Formal languages, grammars, automata Compilators Theory of program languages
Hruška Tomáš, prof. Ing., CSc., UIFS FIT VUT
	Formal models Information a database systems OLAP technology Formal languages and automata Compilers and programming languages Tools and programming of embedded systems Hardware/software co-design, Lissom project
Jirák Ota, Ing., UIFS FIT VUT
	Formal languages, automata, grammars compilers and disassemblers EXE code analysis Information systems
Kolář Dušan, doc. Dr. Ing., Senior Researcher, UIFS FIT VUT
	Formal languages and automata Compilers and programming languages Advanced DB systems Modellng and simulation in information systems Tools and programming of embedded systems
Koutný Jiří, Ing., UIFS FIT VUT
	Formal languages, automata, grammars Regulated models, grammars with restricted derivation trees Application of theoretical computer science in computer graphics
Křivka Zbyněk, Ing., Ph.D., Webmaster and Junior Researcher, UIFS FIT VUT
	Theory of Formal Languages, Theory of Automata Regulated Formal Models (Grammars and Automata) Embedded Systems, FPGAs, Compilers Eclipse, Smalltalk (Squeak), .NET (C#, ASP.NET), Python
Křoustek Jakub, Ing., UIFS FIT VUT
Meduna Alexander, prof. RNDr., CSc., Research Group Leader, UIFS FIT VUT
	mathematically oriented computer science Areas of Special Interest: automata, formal languages, compilers, computer algebra, graphs, metamathematics
Zemek Petr, Ing., UIFS FIT VUT
	formal language theory, especially regulated grammars and automata reverse engineering, especially reverse compilation (decompilation)
Židek Stanislav, Ing., UIFS FIT VUT
	parallel grammars and their application game theory security, cryptography generally anything interesting :)