People

Academic Staff

Katie Atkinson

Professor email EEE, 607    

Research Groups:  ARK

Research Interests:  AI and Lawcomputational models of argumentdialogue games

Trevor Bench-Capon

Professor email Ashton 3.16    

Research Groups:  ARK

Research Interests:  Practical reasoningvalue based reasoninglegal reasoning, argumentation and narrative

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

Frans Coenen

Professor email Ashton 2.02    

Research Groups:  ARK

Research Interests:  Machine learning and big data analytics in the context of unusual data setsData mining over encrypted data and applications of machine learning in the fields of personalised health, infectious diseases and AI and Law

Paul Dunne

Professor email Ashton 2.04    

Research Groups:  ARK

Research Interests:  Algorithms and complexity in abstract argumentation formalismsanalysis of argumentation frameworks and semantics via combinatorial paradigms

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

Floriana Grasso

Lecturer email Ashton G.16    

Research Groups:  ARK

Research Interests:  Argument and ComputationComputational RhetoricUser Modelling

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

Xiaowei Huang

Reader email Ashton 2.22    

Research Groups:  Verification

Research Interests:  Trustworthy Machine LearningVerification and ValidationModel Checking

Ullrich Hustadt

Reader email Ashton 1.03    

Research Groups:  Verification

Research Interests:  Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic, including fragments resulting from the relational, semi-functional and optimised functional translation of decidable propositional modal logics

Rasmus Ibsen-Jensen

Lecturer email Holt 2.01C    

Research Groups:  ECCOVerification

Research Interests:  Game theory, specifically two player zero-sum gamesstatic analysis and evolutionary theoretical biology

Christian Ikenmeyer

Senior Lecturer email Ashton 3.11

Research Groups:  ACTO

Research Interests:  Complexity theoryTensor rankComputational representation theoryAlgebraic combinatoricsAlgebraic geometry

Boris Konev

Professor email Ashton 1.15    

Research Groups:  ARKVerification

Research Interests:  Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods

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

Alexei Lisitsa

Lecturer email    

Research Groups:  Verification

Research Interests:  VerificationFormal MethodsSecurityApplied Automated ReasoningApplied Machine Learning

Angrosh Mandya

University Teacher email Ashton 1.11    

Research Groups:  ARK

Research Interests:  Natural Language ProcessingComputational LinguisticsMachine Learning

Othon Michail

Senior Lecturer email Holt 2.14    

Research Groups:  ACTONetworks

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

Fabio Papacchini

University Teacher email Ashton 1.09    

Research Groups:  ARK

Research Interests:  Knowledge RepresentationOBDAQuery Answering, RewritingAutomated ReasoningTableaux MethodsModal LogicsDescription Logics and Model Generation

Terry Payne

Senior Lecturer email Ashton 2.18    

Research Groups:  Networks

Research Interests:  The use of ontological knowledge for the support of agent-based service discovery and the exploration of dialogue-based negotiation approaches to establish contextually-relevant ontological alignment between interacting agents on the fly

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

Paul Spirakis

Professor email Ashton 3.20    

Research Groups:  ECCONetworks

Research Interests:  AlgorithmsComplexityFoundations of Distributed Computing and AlgorithmicGame Theory

Valentina Tamma

Lecturer email Ashton 2.12    

Research Groups:  ARK

Research Interests:  Ontologies in open and distributed environmentsAI methods in dynamic knowledge evolution & adaptationOntology design, ontology management, semantic integrationontology evolutionknowledge acquisition

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

Frank Wolter

Professor email Ashton 1.14    

Research Groups:  ARKVerification

Research Interests:  Knowledge RepresentationReasoning and Logic in Computer Science

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

Daniele Dell'Erba

Postdoc    

Supervisors:  Sven Schewe

Research Groups:  Verification

Research Interests:  game theory

Marie Fortin

Postdoc    

Supervisors:  Frank Wolter

Research Groups:  Verification

Research Interests:  automata theorylogic

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

Jacopo Castellini

PhD Student

Supervisors:  Rahul Savani

Research Groups:  DMML

Research Interests:  Multi-agent Reinforcement LearningDeep Learning

Nestoras Chalkidis

PhD Student

Supervisors:  Rahul Savani

Research Groups:  ECCO

Research Interests:  Automated TradingDeep LearningMachine Learning

Elektra Kypridemou

PhD Student    

Supervisors:  Michele Zito and Marco Bertamini

Research Groups:  Networks

Research Interests:  Graph TheoryVisual PerceptionGraph DrawingInformation VisualitationKnowledge RepresentationArtificial Intelligence

Eva Onokpasa

PhD student

Supervisors:  Sebastian Wild and Prudence Wong

Research Groups:  ACTONetworks

Research Interests:  compressionRNA secondary structuresconstraint-satisfaction problems

Alpay Ozkeskin

PhD Student

Supervisors:  Prudence Wong

Research Groups:  Networks

Research Interests:  Scheduling algorithmsApproximation and online algorithms

Ben Smith

PhD student email    

Supervisors:  Sebastian Wild and Leszek Gąsieniec

Research Groups:  ACTONetworks

Research Interests:  bamboo garden trimmingalgorithm science