Academics


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

Students




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