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 Algorithms
	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 Networks Bioinformatics Communication
	Vitaliy Kurlin Professor email MIF / Holt 2.01D Research Groups: ACTO
	Nikhil Mande Lecturer email Ashton 2.18 Research Groups: ACTO Networks Research Interests: Complexity Query Complexity Communication Complexity Quantum Computing Analysis Of Boolean Functions Approximation Theory Algorithms Graph Theory
	Othon Michail Senior Lecturer email Holt 2.14 Research Groups: ACTO Networks Research Interests: Distributed Computing Algorithms and Complexity Dynamic Networks Programmable Matter Networks Security
	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 IoT
	Lutz Oettershagen Lecturer email Holt 2.11b Research Groups: ACTO Networks DMML
	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
	Will Rosenbaum Lecturer email Holt 2.16b Research Groups: ACTO Networks Research Interests: Distributed Computing Graph Algorithms Clock Synchronization Adversarial Queueing Theory Distributed Verification Stable Matchings Sublinear Time Algorithms Sampling Algorithms
	Rahul Savani Professor email Holt 2.15 Research Groups: ACTO EcCo Research Interests: Game Theory Algorithms & Complexity Machine Learning Automated Trading Agent-based Modelling Algorithms Reinforcement Learning
	Sven Schewe Professor email Research Groups: ACTO Verification Research Interests: Automata Theory Game Theory 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 Algorithms Optimisation
	Karteek Sreenivasaiah Lecturer email Ashton 1.19 Research Groups: ACTO Networks Research Interests: Theory Of Computation Computational Complexity Algorithms
	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 Algorithms Graph Theory
	Patrick Totzke Professor email Ashton 3.19 Research Groups: Verification ACTO Research Interests: Game Theory Logics Automata Verification Infinite-state Systems Temporal Or Probabilistic Modalities
	Konstantinos Tsakalidis Lecturer email Ashton 2.19 Research Groups: ACTO EcCo Research Interests: Algorithms and Data Structures Computational Geometry Graph Processing Argumentation Computational Linguistics Discourse Modelling Rhetoric Persuasive Communication
	Sebastian Wild Senior Lecturer email Research Groups: ACTO Networks Research Interests: Data Structures Efficient Algorithms Computation Over Compressed Data Sorting Analysis Of Algorithms
	Dominik Wojtczak Professor email Research Groups: ACTO EcCo Verification Research Interests: Probabilistic Systems Game Theory Coalition Games Control Theory Verification Of Embedded Systems Security Reinforcement Learning
	Prudence Wong Professor email Ashton 3.18 Research Groups: ACTO Networks Research Interests: Algorithms Optimisation 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 Algorithms Logic Networks