People – Algorithms, Complexity Theory and Optimisation (ACTO)

More information about our group’s activities can be found on the official website.

Academic Staff

	John Fearnley Reader email Ashton 3.22 Research Groups: ACTO ECCO Research Interests: Algorithmic Game Theory computational complexity formal verification Module coordinator for: COMP396 COMP105
	Martin Gairing Professor email Ashton 3.03 Research Groups: ACTO ECCO Research Interests: Algorithmic Game Theory efficiency of equilibria combinatorial optimisation approximation algorithms the price of anarchy algorithms
	Leszek Gąsieniec 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
	Vitaliy Kurlin 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
	Nikhil Mande 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 COMP202 Complexity of Algorithms
	Othon Michail 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
	Anish Mukherjee Lecturer email Ashton G.22C Research Groups: Networks ACTO Research Interests: Dynamic Algorithms and Complexity Parallel Algorithms Streaming Algorithms Distributed Computing Network Design
	Igor Potapov 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
	David Purser Lecturer email Ashton 3.20 Research Groups: Verification ACTO Research Interests: automata weighted automata vector addition systems computer-aided verification Module coordinator for: COMP517
	Rahul Savani Professor email Holt 2.15 Research Groups: ACTO ECCO Research Interests: Game theory Algorithms & Complexity Machine Learning Automated Trading Agent-Based Modelling
	Sven Schewe 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
	Joachim Spoerhase Lecturer email Ashton 3.11 Research Groups: ACTO Networks DMML Research Interests: Approximation Algorithms Parameterised Approximation Combinatorial Optimisation Geometric Optimisation Clustering Network Design Module coordinator for: COMP211 Computer Networks
	John Sylvester Lecturer email Ashton 2.23 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
	Patrick Totzke Professor email Ashton 3.19 Research Groups: Verification ACTO Research Interests: game theory logics automata verification
	Konstantinos Tsakalidis Lecturer email Ashton 1.13 Research Groups: ACTO ECCO Research Interests: Algorithms and data structures computational geometry graph processing Module coordinator for: COMP222 Principles of Computer Game Design and Implementation
	Sebastian Wild Senior Lecturer email Ashton 2⅔ Research Groups: ACTO Networks Research Interests: data structures efficient algorithms computation over compressed data sorting analysis of algorithms algorithm science
	Dominik Wojtczak Reader email Research Groups: ACTO ECCO Verification Research Interests: Probabilistic systems game theory coalition games control theory verification of embedded systems
	Prudence Wong 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
	Viktor Zamaraev Senior 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
	Michele Zito 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

Namrata

Postdoc email Ashton 3.10

Supervisors: Sebastian Wild

Research Groups: ACTO Networks

Sougata Bose

Postdoc

Supervisors: Patrick Totzke

Research Groups: ACTO Verification

Research Interests: automata theory logic timed automata

Soumyajit Paul

Postdoc

Supervisors: Sven Schewe

Research Groups: ACTO Verification ECCO

Research Interests: game theory verification

Students

	Ziad Ismaili Alaoui PhD student email Supervisors: Sebastian Wild and Nikhil Mande and Viktor Zamaraev Research Groups: ACTO Networks Research Interests: graph rewriting graph compression succinct data structures
	Nada Almalki PhD student Supervisors: Othon Michail and Viktor Zamaraev Research Groups: Networks ACTO Research Interests: Dynamic networks Temporal graphs
	Eva Onokpasa PhD student email 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