Head of Group

Serge Gaspers
Parameterized and exact computation

Haris Aziz
Algorithmic game theory; computational social choice

Catherine Greenhill
Graph theory; randomized algorithms

David Harvey
Computational number theory; symbolic computation

Aleksandar Ignjatovic
Signal processing; mathematical logic; algorithms for embedded systems

Nicholas Mattei
Algorithmic decision theory; computational social choice

Stefan Rümmele
Algorithms and Complexity; knowledge representation and reasoning

Abdallah Saffidine
Search; combinatorial games; computational social choice

Igor Shparlinski
Algorithmic number theory; cryptography

Toby Walsh
Optimisation; computational social choice; algorithmic game theory


Martin Aleksandrov
Optimisation; machine learning

Hao Chen
Algorithmic decision theory; resource allocation

Edward Lee
Parameterized and exact computation

Valentin Mayer-Eichberger
SAT solving and encodings; modeling optimisation problems

Kamran Najeebullah
Algorithmic decision theory; network algorithms

Alexis Shaw
Parameterized complexity

Kevin Tran
Imperfect information games

Zhaohong Sun
Matching markets; resource allocation

Former Members