Algorithms, Complexity Theory and Optimisation Group

Academic Staff

Dr. Olga Anosova		Geometric Data Science & Topological data analysis in crystallography, materials chemistry, and structural biology, Data Science Theory and Applications
Dr. John Fearnley		Algorithmic game theory, computational complexity, and formal verification
Prof. Martin Gairing		Algorithmic game theory, efficiency of equilibria, combinatorial optimisation, approximation algorithms. the price of anarchy
Prof. Leszek Gasieniec		Algorithms, Distributed Computing and Communication, Networks and Search Problems with applications
Prof. Piotr Krysta		Combinatorial & continuous optimisation, approximation algorithms, algorithmic mechanism design, algorithmic game theory, graph algorithms, statistical learning theory, randomised algorithms & probabilistic analysis, computational complexity
Dr. Louwe Kuijer		Modal logics, especially dynamic epistemic logic
Prof Vitaliy Kurlin		New methods of Geometric and Topological Data Science with applications to Materials, Computer Vision and Climate
Prof. Rida Laraki		Game theory, social choice, economic theory, optimization, learning, and operations research
Nikhil Mande		Computational complexity theory
Dr. Othon Michail		Distributed Computing, Algorithms and Complexity, Computability, Algorithmic Theory of Dynamic Networks, and Programmable Matter
Dr. Anish Mukherjee
Prof. Igor Potapov		Head of Group Reachability questions, decidable/undecidable problems concerning automata, formal languages, semigroups and iterative maps. Algorithms and combinatorics on words, abstract algebra, topology and computation theory. Distributed computational models
Dr. David Purser		Weighted automata, Vector addition systems and Infinite state systems
Prof. Rahul Savani		Game Theory, Algorithms & Complexity, Machine Learning, Automated Trading, Agent-Based Modelling
Prof. Sven Schewe		Automata theory, game theory (especially finite games of infinite duration) verification, reinforcement learning, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics
Dr. Joachim Spoerhase		Combinatorial Optimization; Algorithms (Approximation Algorithms, Fixed-Parameter Approximation); Hardness of Approximation; Clustering and Location; Network Design; Computational Geometry
Dr. Karteek Sreenivasaiah		Theory of Computation; Computational Complexity
Dr. John Sylvester		Discrete probability; Temporal graph problems
Dr. Tony Tan		Logic in computer science; Automata and formal languages; Database theory and systems
Prof. Patrick Totzke		Logics, automata, game theory and computer-aided verification
Dr. Konstantinos Tsakalidis		Algorithms and data structures, particularly with respect to techniques in computational geometry and graph processing
Dr. Sebastian Wild		Design and analysis of algorithms, computing over compressed data, sorting algorithms, and fundamental data structures
Prof. Dominik Wojtczak		Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems
Prof. Prudence Wong		Design and analysis of algorithms for optimization problems, on-line and approximation algorithms, energy efficient scheduling, graph and network algorithms, network communication algorithms, computational biology
Dr. Viktor Zamaraev		Discrete mathematics; graph theory; combinatorics; graph algorithms; temporal graphs/networks; distributed graph algorithms

Research Staff

Joe Jerome		Reinforcement Learning agents
Namrata Namrata