Formal Model Research Group

Principal researcher

Meduna Alexandr, prof. RNDr., CSc.

Principal researcher
  • Mathematically oriented computer science
  • Areas of Special Interest: automata, formal languages, compilers, computer algebra, graphs, metamathematics
  • My work website

Researcher

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

Researcher

Kocman Radim, Ing., Ph.D.

Researcher
  • Theory of Formal Languages
  • Jumping Finite Automata

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

Researcher
  • Formal languages and automata
  • Compilers and programming languages
  • Reverse engineering, malware detection and elimination
  • Advanced DB systems
  • Modellng and simulation in information systems
  • Tools and programming of embedded systems

Křivka Zbyněk, Ing., Ph.D.

Researcher
  • Formal languages, grammars, automata
  • Jumping models

Ph.D. student

Tomko Martin, Ing.

Ph.D. student
Back to top