Formela – Laboratoř formálních metod, logiky a algoritmů
Kontakt: prof. RNDr. Antonín Kučera, Ph.D.
Stránky laboratoře: formela.fi.muni.cz
V Laboratoři formálních metod, logiky a algoritmů se věnujeme vědeckému výzkumu v oblastech návrhu algoritmů a informatických aplikací logiky, teorie her a diskrétní matematiky. Ve výzkumu přímo spolupracujeme s mnohými špičkovými zahraničními odborníky a pracovišti a naši vědci jsou zároveň členy národního Centra excelence Institut teoretické informatiky CE-ITI.
V naší laboratoři jsou vítáni všichni studenti bakalářského, magisterského i doktorského stupně studia, kteří mají zájem o účast na našich studentských výzkumných seminářích a o zapojení do projektů špičkového teoretického výzkumu v informatice na mezinárodní úrovni.
