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 Ashton 3.05    

Research Groups:  ACTOECCO

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

Module coordinator for:  COMP559 COMP326

John Fearnley

Lecturer email Ashton 3.22    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game Theorycomputational complexityformal verification

Module coordinator for:  COMP396 COMP105

Aris Filos-Ratsikas

Lecturer email Ashton 3.14    

Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game TheoryAlgorithmic Mechanism DesignComputational Fair DivisionComputational Complexity

Martin Gairing

Reader email Ashton 3.03    

Research Groups:  ACTOECCO

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

Yannis Goulermas

Professor email Ashton 2.19    

Research Groups:  ACTO

Research Interests:  Machine learningpattern recognitiondata analytics, modelling and optimisation

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

Christian Ikenmeyer

Senior Lecturer email Ashton 3.11

Research Groups:  ACTO

Research Interests:  Complexity theoryTensor rankComputational representation theoryAlgebraic combinatoricsAlgebraic geometry

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

Senior Lecturer 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

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

Rahul Savani

Professor email Holt 2.15    

Research Groups:  ACTOECCO

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

Sven Schewe

Professor email Ashton G.14    

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 Ashton 3.14    

Research Groups:  ACTOECCO

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

Patrick Totzke

Lecturer email Ashton 3.19    

Research Groups:  VerificationACTO

Research Interests:  logicsautomatagame theorycomputer-aided verification

Module coordinator for:  COMP122 Object-oriented programming

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

Dominik Wojtczak

Senior Lecturer email Holt 2.01C    

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: 

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