People – Algorithms, Complexity Theory and Optimisation (ACTO)

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

reset filter

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
	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
	John Sylvester     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
	Patrick Totzke     Senior Lecturer email Ashton 3.19             Research Groups:  Verification  ACTO Research Interests:  logics  automata  game theory  computer-aided 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.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
	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

	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

	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