Teoretická informatika

Zabýváme se výzkumem v oblastech teorie algoritmů, stringologie, komprese dat, arbologie, překladačů, umělé inteligence a strojového učení.

Naše úspěchy

Superpočítač, roboti i kyberbezpečnost: Týmy z ČVUT ukázaly výsledky projektu RCI

Všechny příběhy

Výzkumné skupiny

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...

Lidé

prof. Ing. Jan Holub, Ph.D.

doc. Ing. Jan Janoušek, Ph.D.

Vedoucí Katedry teoretické informatiky