Formal Model Research Group

Team members

Research Group Leader

Members

Hruška Tomáš, prof. Ing., CSc., Senior Researcher, 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
Kocman Radim, Ing., UIFS FIT VUT
  • Theory of Formal Languages
  • Jumping Finite Automata
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
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
  • Android (interesting applications created under my leadership: PDF Annotation)
  • Eclipse, Smalltalk (Squeak), .NET (C#, ASP.NET), Python
Kučera Jiří, Ing., UIFS FIT VUT
  • Formal Languages and Compilers
  • Systems of Formal Models
Martiško Jakub, Ing., UIFS FIT VUT
 
Meduna Alexander, prof. RNDr., CSc., Principal researcher, UIFS FIT VUT
  • mathematically oriented computer science
  • Areas of Special Interest: automata, formal languages, compilers, computer algebra, graphs, metamathematics

Your IPv4 address: 54.227.127.109
Switch to IPv6 connection

DNSSEC [dnssec]