Katedra teoretické informatiky

Výzkumné skupiny

Máme pod palcem tři výzkumné skupiny, které řeší algoritmy ve všech možných podobách. Naše výzkumy dokazují, že i pomocí teoretické informatiky lze posouvat hranice IT.

Arbologie

V rámci skupiny se věnujeme výzkumu v oblasti teorie algoritmů pro zpracování stromových datových struktur. Příklady takových stromových struktur mohou být například abstraktní...

Grafy, hry, optimalizace, algoritmy, teoretická informatika (G²OAT)

Zabýváme se diskrétní optimalizací. Zkoumáme složitost grafových a jiných problémů, herních mechanismů a kombinatorických her. Navrhujeme efektivní algoritmy. Využíváme...

Pražský stringologický klub (PSC)

V Pražském stringologickém klubu (PSC) se zabýváme zpracováním jednorozměrných řetězců, jejich efektivním ukládáním a vyhledáváním. Hlavní oblast našeho zájmu je...