Formal Model Research Group

Principal researcher

Members

.

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

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
Back to top