Faculty of Information Technology, BUT

Formal Model Research Group

Principal researcher

Principal researcher

Meduna Alexander, prof. RNDr., CSc.

Principal researcher, DIFS FIT BUT

  • mathematically oriented computer science
  • Areas of Special Interest: automata, formal languages, compilers, computer algebra, graphs, metamathematics

Researchers

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

Researcher, DIFS FIT BUT

  • 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

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

Researcher, DIFS FIT BUT

  • 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.

Researcher, DIFS FIT BUT

Ph.D. students

Jirák Ota, Ing.

Ph.D. student, DIFS FIT BUT

  • Formal languages, automata, grammars
  • compilers and disassemblers
  • EXE code analysis
  • Information systems

Kocman Radim, Ing.

Ph.D. student, DIFS FIT BUT

  • Theory of Formal Languages
  • Jumping Finite Automata

Kučera Jiří, Ing.

Ph.D. student, DIFS FIT BUT

  • Formal Languages and Compilers
  • Systems of Formal Models
Back to top