Výzkumná skupina formálních modelů

Skupina formálních modelů se soustředí na výzkum formálních jazyků a jejich modelů, zejména automatů, gramatik a systémů, které jsou na nich založeny. Zásadní pozornost je věnována studiu řízení těchto formálních systémů tak, aby výsledné modely optimálně postihovaly jazykové kontextové závislosti. Skupina rovněž diskutuje aplikace zkoumaných modelů v různých oblastech informatiky, jako např. kompilátorech a bioinformatice.

Témata výzkumu

  • teoretické základy informačních systémů
  • formální jazyky a jejich modely
  • specifikace a překlad jazyků
  • aplikace formálních modelů

Akce, Semináře

Důležité publikace

 

Kontakt

Vysoké učení technické v Brně
Fakulta informačních technologií
Ústav informačních systémů
Božetěchova 2
612 66  Brno, Czech Republic

Tel.: +420 54114-1232
E-mail: meduna@fit.vutbr.cz

Vaše IPv4 adresa: 54.81.195.240
Přepnout na IPv6 spojení

DNSSEC [dnssec]