Specializace se zaměřuje na teorii výpočtů, algoritmy a datové struktury, které tvoří jádro teoretické informatiky. Opírá se o formální modely a matematické struktury, jako je teorie grafů, teorie složitosti a formální jazyky a automaty. Cílem je vybavit studenty pokročilými algoritmickými metodami pro analýzu a řešení složitých výpočetních problémů, s důrazem na zpracování textu, kompresi dat, kombinatorickou optimalizaci, parametrizované algoritmy a pokročilé formální modely. Absolventi získají silné matematické základy a schopnost analytického řešení problémů.
