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.