Theoretical Computer Science

Theoretical Computer Science provides the mathematical framework for rigorously analyzing various algorithmic problems and computational models. It lies at the core of many innovations across multiple domains, from the design of efficient algorithms to the development of new machine-learning techniques. Theoretical Computer Science is a major part of the department's MCS group, which is more broadly concerned with computation and the mathematical tools involved in its understanding.