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

Giorgos Christodoulou

Reader email    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game TheoryAlgorithmic Mechanism DesignOnline AlgorithmsInefficiency of Equilibriaapproximation algorithms

Module coordinator for:  COMP559 COMP326

Rathish Das

Lecturer email    

Research Groups:  ACTONetworks

Research Interests:  Parallel AlgorithmsExternal-Memory AlgorithmsApproximation and Randomized Algorithms

Module coordinator for:  COMP331/557 Optimisation

John Fearnley

Senior Lecturer email Ashton 3.22    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game Theorycomputational complexityformal verification

Module coordinator for:  COMP396 COMP105

Martin Gairing

Professor email Ashton 3.03    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game Theoryefficiency of equilibriacombinatorial optimisationapproximation algorithmsthe price of anarchyalgorithms

Leszek Gąsieniec

Professor email Ashton 3.21    

Research Groups:  ACTONetworks

Research Interests:  AlgorithmsDistributed Computing and CommunicationNetworks and Search Problems with applications

Module coordinator for:  COMP533 COMP702

Piotr Krysta

Professor email Ashton 3.13    

Research Groups:  ACTOECCO

Research Interests:  Combinatorial & continuous optimisationapproximation algorithmsalgorithmic mechanism designalgorithmic game theorygraph algorithmsstatistical learning theoryrandomised algorithms & probabilistic analysiscomputational complexity

Louwe Kuijer

Lecturer email Ashton 2.13    

Research Groups:  ACTOARK

Research Interests:  Modal logics, especially dynamic epistemic logic

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

Rida Laraki

Professor email Holt 2.01D    

Research Groups:  ACTOECCO

Research Interests:  Game theorysocial choiceeconomic theoryoptimization, learning, and operations research

Nikhil Mande

Lecturer email Ashton 3.14    

Research Groups:  ACTONetworks

Research Interests:  ComplexityQuery complexityCommunication complexityQuantum computingAnalysis of Boolean functionsApproximation theory

Module coordinator for:  COMP335 Communicating Computer Science

Othon Michail

Senior Lecturer email Holt 2.14    

Research Groups:  ACTONetworks

Research Interests:  Distributed ComputingAlgorithms and ComplexityComputabilityAlgorithmic Theory of Dynamic Networks, and Programmable Matter

Igor Potapov

Professor email Ashton 3.15    

Research Groups:  ACTONetworks

Research Interests:  Reachability questionsautomataformal languages,semigroups and iterative mapsAlgorithms and combinatorics on wordsabstract algebratopology and computation theoryDistributed computational models

David Purser

Lecturer email Ashton 3.20    

Research Groups:  VerificationACTO

Research Interests:  automataweighted automatavector addition systemscomputer-aided verification

Rahul Savani

Professor email Holt 2.15    

Research Groups:  ACTOECCO

Research Interests:  Game theoryAlgorithms & ComplexityMachine LearningAutomated TradingAgent-Based Modelling

Sven Schewe

Professor email    

Research Groups:  ACTOVerification

Research Interests:  Automata theorygame theory (especially finite games of infinite duration) verificationreinforcement learningtemporal logicMarkov games and decision processescontrol theoryequilibriaagent & game logics

Alkmini Sgouritsa

Lecturer email    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations

John Sylvester

Lecturer email Ashton 3.20    

Research Groups:  ACTONetworks

Research Interests:  random processesrandom graphsMarkov chains(temporal) graph theoryanalysis of algorithmsalgorithm science

Module coordinator for:  COMP523 Advanced Algorithmic Techniques

Patrick Totzke

Senior Lecturer email Ashton 3.19    

Research Groups:  VerificationACTO

Research Interests:  logicsautomatagame theorycomputer-aided verification

Konstantinos Tsakalidis

Lecturer email Ashton 1.13    

Research Groups:  ACTOECCO

Research Interests:  Algorithms and data structurescomputational geometrygraph processing

Module coordinator for:  COMP222 Principles of Computer Game Design and Implementation

Sebastian Wild

Lecturer email Ashton 2.23    

Research Groups:  ACTONetworks

Research Interests:  data structuresefficient algorithmscomputation over compressed datasortinganalysis of algorithmsalgorithm science

Module coordinator for:  COMP526 Applied Algorithmics COMP555 Advances in TCS

Dominik Wojtczak

Reader email    

Research Groups:  ACTOECCOVerification

Research Interests:  Probabilistic systemsgame theorycoalition gamescontrol theoryverification of embedded systems

Prudence Wong

Professor email Ashton 3.18    

Research Groups:  ACTONetworks

Research Interests:  Design and analysis of algorithms for optimization problemson-line and approximation algorithmsenergy efficient schedulinggraph and network algorithmsnetwork communication algorithmscomputational biology

Viktor Zamaraev

Lecturer email Ashton 2.23    

Research Groups:  ACTONetworks

Research Interests:  graph theorycombinatoricstemporal graphsdiscrete mathematics

Module coordinator for:  COMP337/527 Data Mining and Visualisation

Michele Zito

Lecturer email Ashton 3.06    

Research Groups:  ACTONetworks

Research Interests:  Combinatorics and ComputingDiscrete Mathematics and Algorithmicsrandom structuresrandomized algorithmsSmart Energy and Computational Sustainability

Postdocs

Sougata Bose

Postdoc

Supervisors:  Patrick Totzke

Research Groups:  ACTOVerification

Research Interests:  automata theorylogictimed automata

Students

Duncan Adamson

PhD Student

Supervisors:  Igor Potapov and Matthew Dyer and Vladimir Gusev

Research Groups:  ACTO

Research Interests:  Combinatoricscomplexity theory

Nada Almalki

PhD student

Supervisors:  Othon Michail and Viktor Zamaraev

Research Groups:  NetworksACTO

Research Interests:  Dynamic networksTemporal graphs

Eva Onokpasa

PhD student

Supervisors:  Sebastian Wild and Prudence Wong

Research Groups:  ACTONetworks

Research Interests:  compressionRNA secondary structuresconstraint-satisfaction problems

Ben Smith

PhD student email    

Supervisors:  Sebastian Wild and Leszek Gąsieniec

Research Groups:  ACTONetworks

Research Interests:  bamboo garden trimmingalgorithm science