In theoretical computer science, our research is characterised by a focus on fundamental questions regarding the design and analysis of algorithms. We investigate problems motivated by applications in physics, economics, and AI.
Specifically, at the interface with physics, we conduct research in quantum computing and quantum information. At the interface with economics, we are active in the fields of algorithmic game theory and computational social choice. Finally, at the interface with AI, we work on topics in knowledge representation and multiagent systems.
Transcending this diversity of research directions is a shared reliance on formal tools, including techniques originating in computational logic, complexity theory, information theory, linear algebra, combinatorics, and discrete mathematics more generally.
Unit Leaders
- Ulle Endriss
- Ronald de Haan (deputy)
Senior Staff
- Gregor Behnke
- Harry Buhrman
- Balder ten Cate
- Malvin Gattinger
- Davide Grossi
- Maris Ozols
- Rebecca Reiffenhäuser
- Guido Schäfer
- Ronald de Wolf
Postdocs
PhD Candidates
- René Allerstorfer
- Yanlin Chen
- Julian Chingoma
- Lynn Engelberts
- Marten Folkertsma
- Dmitry Grinko
- Danish Kashaev
- Sophie Klumper
- Junqiao (Randy) Lin
- Jelena Mackeprang
- Niels Neumann
- Daira Pinto Prieto
- Simon Rey
- Jana Sotáková
- Quinten Marcus Tupker
- Jordi Weggemans
Research support staff
Retired Senior Staff
Guest Researchers
ILLC members connected to the unit by additional affiliation
- Erman Acar (NLP&DH)
- Bahareh Afshari (MCL)
- Dick de Jongh (MCL, retired)
- Petter Törnberg (NLP&DH)