Formal Model Research Group

This group discusses formal languages and their models, such as automata, grammars and systems based upon them. It pays a special attention to the regulation of these models so they capture various context dependencies in a clear and precise way. The group also studies how to apply the formal models under investigation in various computer science areas, such as compilers any bioinformatics.

Research interests

  • Theoretical Basis of Information Systems
  • Formal Languages and Their Models
  • Specification and Translation of Languages
  • Applications of Formal Models

Important publications



Brno University of Technology
Faculty of Information Technology
Department of Information Systems
Božetěchova 2
612 66  Brno, Czech Republic

Phone: +420 54114-1232

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]