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

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.