Academics


Head of Group

Serge Gaspers
Parameterized and exact computation



Haris Aziz
Algorithmic game theory; computational social choice



Sirin Botan
Computational social choice; game theory



Katie Clinch
Graph theory; matroids; rigidity theory



Raveen De Silva
Graph theory; distance geometry



Catherine Greenhill
Random structures; asymptotic enumeration; randomized algorithms



David Harvey
Computational number theory; symbolic computation



Paul Hunter
Games; graph theory; verification



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



Anita Liebenau
Extremal and probabilistic combinatorics; positional games; asymptotic enumeration; Ramsey theory



Ali Pourmiri
Theoretical computer science; randomized algorithms; distributed computing



Fahimeh Ramezani
Algorithmic game theory; optimisation; social choice theory; combinatorics



Abdallah Saffidine
Search; combinatorial games; computational social choice



Igor Shparlinski
Algorithmic number theory; cryptography



Mashbat Suzuki
Algorithmic game theory; optimization; randomized algorithms



Toby Walsh
Optimisation; computational social choice; algorithmic game theory