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

 

Contact

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
E-mail: meduna@fit.vutbr.cz

Your IPv4 address: 107.22.106.136
Switch to IPv6 connection

DNSSEC [dnssec]