The specialization focuses on the theory of computation, algorithms, and data structures, which form the core of theoretical computer science. It relies on formal models and mathematical structures such as graph theory, complexity theory, and formal languages and automata. The goal is to equip students with advanced algorithmic methods for analyzing and solving complex computational problems, with emphasis on text processing, data compression, combinatorial optimization, parameterized algorithms, and advanced formal models.
