People – Algorithms, Complexity Theory and Optimisation (ACTO)
More information about our group’s activities can be found on the official website.
Academic Staff
![]() |
Reader email Research Interests: Algorithmic Game Theory Algorithmic Mechanism Design Online Algorithms Inefficiency of Equilibria approximation algorithms Module coordinator for: COMP559 COMP326 |
![]() |
Lecturer email Research Groups: ACTO Networks Research Interests: Parallel Algorithms External-Memory Algorithms Approximation and Randomized Algorithms Module coordinator for: COMP331/557 Optimisation |
![]() |
Senior Lecturer email Ashton 3.22 Research Interests: Algorithmic Game Theory computational complexity formal verification Module coordinator for: COMP396 COMP105 |
![]() |
Professor email Ashton 3.03 Research Interests: Algorithmic Game Theory efficiency of equilibria combinatorial optimisation approximation algorithms the price of anarchy algorithms |
![]() |
Professor email Ashton 3.21 Research Groups: ACTO Networks Research Interests: Algorithms Distributed Computing and Communication Networks and Search Problems with applications Module coordinator for: COMP533 COMP702 |
![]() |
Professor email Ashton 3.13 Research Interests: Combinatorial & continuous optimisation approximation algorithms algorithmic mechanism design algorithmic game theory graph algorithms statistical learning theory randomised algorithms & probabilistic analysis computational complexity |
![]() |
Lecturer email Ashton 2.13 Research Interests: Modal logics, especially dynamic epistemic logic |
![]() |
Professor email MIF / Holt 2.01D Research Groups: ACTO Research Interests: New methods of Geometric and Topological Data Science with applications to Materials, Computer Vision and Climate |
![]() |
Professor email Holt 2.01D Research Interests: Game theory social choice economic theory optimization, learning, and operations research |
![]() |
Lecturer email Ashton 3.14 Research Groups: ACTO Networks Research Interests: Complexity Query complexity Communication complexity Quantum computing Analysis of Boolean functions Approximation theory Module coordinator for: COMP335 Communicating Computer Science |
|
Senior Lecturer email Holt 2.14 Research Groups: ACTO Networks Research Interests: Distributed Computing Algorithms and Complexity Computability Algorithmic Theory of Dynamic Networks, and Programmable Matter |
![]() |
Professor email Ashton 3.15 Research Groups: ACTO Networks Research Interests: Reachability questions automata formal languages, semigroups and iterative maps Algorithms and combinatorics on words abstract algebra topology and computation theory Distributed computational models |
![]() |
Lecturer email Ashton 3.20 Research Groups: Verification ACTO Research Interests: automata weighted automata vector addition systems computer-aided verification |
![]() |
Professor email Holt 2.15 Research Interests: Game theory Algorithms & Complexity Machine Learning Automated Trading Agent-Based Modelling |
![]() |
Professor email Research Groups: ACTO Verification Research Interests: 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 |
![]() |
Lecturer email Research Interests: Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations |
![]() |
Lecturer email Ashton 3.20 Research Groups: ACTO Networks Research Interests: random processes random graphs Markov chains (temporal) graph theory analysis of algorithms algorithm science Module coordinator for: COMP523 Advanced Algorithmic Techniques |
![]() |
Senior Lecturer email Ashton 3.19 Research Groups: Verification ACTO Research Interests: logics automata game theory computer-aided verification |
![]() |
Lecturer email Ashton 1.13 Research Interests: Algorithms and data structures computational geometry graph processing Module coordinator for: COMP222 Principles of Computer Game Design and Implementation |
![]() |
Lecturer email Ashton 2.23 Research Groups: ACTO Networks Research Interests: data structures efficient algorithms computation over compressed data sorting analysis of algorithms algorithm science Module coordinator for: COMP526 Applied Algorithmics COMP555 Advances in TCS |
![]() |
Reader email Research Groups: ACTO ECCO Verification Research Interests: Probabilistic systems game theory coalition games control theory verification of embedded systems |
![]() |
Professor email Ashton 3.18 Research Groups: ACTO Networks Research Interests: 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 |
![]() |
Lecturer email Ashton 2.23 Research Groups: ACTO Networks Research Interests: graph theory combinatorics temporal graphs discrete mathematics Module coordinator for: COMP337/527 Data Mining and Visualisation |
![]() |
Lecturer email Ashton 3.06 Research Groups: ACTO Networks Research Interests: Combinatorics and Computing Discrete Mathematics and Algorithmics random structures randomized algorithms Smart Energy and Computational Sustainability |
Postdocs
![]() |
Postdoc Supervisors: Patrick Totzke Research Groups: ACTO Verification Research Interests: automata theory logic timed automata |
Students
![]() |
PhD Student Supervisors: Igor Potapov and Matthew Dyer and Vladimir Gusev Research Groups: ACTO Research Interests: Combinatorics complexity theory |
![]() |
Nada Almalki PhD student Supervisors: Othon Michail and Viktor Zamaraev Research Groups: Networks ACTO Research Interests: Dynamic networks Temporal graphs |
![]() |
Eva Onokpasa PhD student Supervisors: Sebastian Wild and Prudence Wong Research Groups: ACTO Networks Research Interests: compression RNA secondary structures constraint-satisfaction problems |
![]() |
Ben Smith PhD student email Supervisors: Sebastian Wild and Leszek Gąsieniec Research Groups: ACTO Networks Research Interests: bamboo garden trimming algorithm science |