Formela - Laboratoř formálních metod, logiky a algoritmů

Kontakt: prof. RNDr. Antonín Kučera, Ph.D., prof. RNDr. Petr Hliněný, 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. Naše klíčové směry výzkumu lze stručně popsat takto.