Algorithms, Complexity Theory and Optimisation Group
Academic Staff
Dr. Olga Anosova | ||
Dr. Giorgos Christodoulou | Algorithmic Game Theory, Mechanism Design, Online Algorithms | |
Dr. John Fearnley | Algorithmic game theory, computational complexity, and formal verification | |
Dr Aris Filos Ratsikas | Algorithmic Game Theory, Algorithmic Mechanism Design, Computational Fair Division, Computational Complexity | |
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 | |
Christian Ikenmeyer | Geometric complexity theory | |
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 | |
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 | ||
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. Alkmini Sgouritsa | Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations | |
Dr. John Sylvester | Discrete probability; Temporal graph problems | |
Dr. Tony Tan | ||
Dr. 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 | |
Antonia Tsili | ||
Dr. Sebastian Wild | Design and analysis of algorithms, computing over compressed data, sorting algorithms, and fundamental data structures | |
Dr. 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 | |
Dr. Michele Zito | Combinatorics and Computing. Discrete Mathematics and Algorithmics with particular focus on random structures and randomized algorithms. Smart Energy and Computational Sustainability |
Research Fellows and Assistants
Ana Garcia-Pulido | ||
Purnata Ghosal | Parameterized Complexity, Fourier Expansion of Boolean functions and Derandomization, Algebraic Complexity Theory | |
Joe Jerome |
PhD Students
Jonathan Balasingham | ||
Ben Smith | ||
Theofilos Triommatis |
Maintained by webmaster@csc.liv.ac.uk