Theoretical Computer Science (TCS)
The Theoretical Computer Science section studies the mathematical and logical foundations of computing: what can be computed efficiently and where the fundamental limits lie, how to reason about programs and prove that they do what they should, and how to make software and digital systems reliable, secure and trustworthy.
Copenhagen has a large theoretical computer science community, and section members work with colleagues at the University of Copenhagen and the Technical University of Denmark (DTU).
Contact Information
Contact person
Visiting address
- 4C and 4B, RLV
- Denmark
Research
Our research includes algorithms and data structures, computational complexity theory, type theory and semantics, concurrent and distributed programs, business process modelling, formal verification with proof assistants, cryptography and secure multiparty computation, differential privacy, election technology and language technology. It also examines the human and social dimensions of security, privacy and trust.
Deep theory meets practical challenges: algorithms that scale to massive data, methods for verifying software, including machine-learning systems, language technologies for languages with little training data, and security and privacy protections that work for the people who use them.
Teaching and courses
The section's faculty teach across ITU's programmes in computer science, software development and data science, from first-year foundations in programming and mathematics to specialised courses in the section's fields. The section values teaching that builds deep conceptual understanding and lasting fundamental skills.