People

Academic Staff

	Katie Atkinson     Professor email EEE, 607       Research Groups:  ARK Research Interests:  AI and Law  computational models of argument  dialogue games
	Trevor Bench-Capon     Professor email Ashton 3.16         Research Groups:  ARK Research Interests:  Practical reasoning  value based reasoning  legal reasoning, argumentation and narrative
	Giorgos Christodoulou       Reader email Ashton 3.05       Research Groups:  ACTO  ECCO Research Interests:  Algorithmic Game Theory  Algorithmic Mechanism Design  Online Algorithms  Inefficiency of Equilibria  approximation 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 sets  Data mining over encrypted data and applications of machine learning in the fields of personalised health, infectious diseases and AI and Law
	Rathish Das   Lecturer email     Research Groups:  ACTO  Networks Research Interests:  Parallel Algorithms  External-Memory Algorithms  Approximation and Randomized Algorithms Module coordinator for:  COMP331/557 Optimisation
	Paul Dunne     Professor email Ashton 2.04         Research Groups:  ARK Research Interests:  Algorithms and complexity in abstract argumentation formalisms  analysis of argumentation frameworks and semantics via combinatorial paradigms
	John Fearnley       Senior Lecturer 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
	Floriana Grasso     Lecturer email Ashton G.16         Research Groups:  ARK Research Interests:  Argument and Computation  Computational Rhetoric  User Modelling
	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
	Xiaowei Huang   Professor email Ashton 2.22         Research Groups:  Verification Research Interests:  Trustworthy Machine Learning  Verification and Validation  Model 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:  ECCO  Verification Research Interests:  Game theory, specifically two player zero-sum games  static analysis and evolutionary theoretical biology
	Boris Konev     Professor email Ashton 1.15       Research Groups:  ARK  Verification 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:  ACTO  ECCO Research Interests:  Combinatorial & continuous optimisation  approximation algorithms  algorithmic mechanism design  algorithmic game theory  graph algorithms  statistical learning theory  randomised algorithms & probabilistic analysis  computational complexity
	Louwe Kuijer       Lecturer email Ashton 2.13         Research Groups:  ACTO  ARK 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:  ACTO  ECCO Research Interests:  Game theory  social choice  economic theory  optimization, learning, and operations research
	Alexei Lisitsa   Lecturer email       Research Groups:  Verification Research Interests:  Verification  Formal Methods  Security  Applied Automated Reasoning  Applied Machine Learning
	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
	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
	Fabio Papacchini     University Teacher email Ashton 1.09       Research Groups:  ARK Research Interests:  Knowledge Representation  OBDA  Query Answering, Rewriting  Automated Reasoning  Tableaux Methods  Modal Logics  Description 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:  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
	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 Ashton G.14         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
	Alkmini Sgouritsa       Lecturer email Ashton 3.14       Research Groups:  ACTO  ECCO Research Interests:  Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations
	Paul Spirakis     Professor email Ashton 3.20         Research Groups:  ECCO  Networks Research Interests:  Algorithms  Complexity  Foundations of Distributed Computing and Algorithmic  Game Theory
	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]
	Valentina Tamma     Lecturer email Ashton 2.12         Research Groups:  ARK Research Interests:  Ontologies in open and distributed environments  AI methods in dynamic knowledge evolution & adaptation  Ontology design, ontology management, semantic integration  ontology evolution  knowledge acquisition
	Qiyi Tang   Lecturer email     Research Groups:  Verification Research Interests:  Trustworthy Machine Learning  Verification and Validation  Model Checking
	Patrick Totzke     Senior Lecturer email Ashton 3.19               Research Groups:  Verification  ACTO Research Interests:  logics  automata  game theory  computer-aided verification Module coordinator for:  COMP122 Object-oriented programming
	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       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 COMP335 Communicating Computer Science COMP555 Advances in TCS
	Dominik Wojtczak     Reader email Holt 2.01C         Research Groups:  ACTO  ECCO  Verification Research Interests:  Probabilistic systems  game theory  coalition games  control theory  verification of embedded systems
	Frank Wolter     Professor email Ashton 1.14       Research Groups:  ARK  Verification Research Interests:  Knowledge Representation  Reasoning and Logic in Computer Science
	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       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
	Daniele Dell'Erba   Postdoc     Supervisors:  Sven Schewe Research Groups:  Verification Research Interests:  game theory
	Yong Li   Postdoc       Supervisors:  Sven Schewe Research Groups:  Verification Research Interests:  verification  reinforcement learning

Students

	Duncan Adamson   PhD Student   Supervisors:  Igor Potapov and Matthew Dyer and Vladimir Gusev Research Groups:  ACTO Research Interests:  Combinatorics  complexity theory
	Nada Almalki PhD student   Supervisors:  Othon Michail and Viktor Zamaraev Research Groups:  Networks  ACTO Research Interests:  Dynamic networks  Temporal graphs
	Peter Austin PhD student   Supervisors:  Patrick Totzke and Sven Schewe Research Groups:  Verification Research Interests:  automata  game theory
	Jacopo Castellini   PhD Student   Supervisors:  Rahul Savani Research Groups:  DMML Research Interests:  Multi-agent Reinforcement Learning  Deep Learning
	Nestoras Chalkidis   PhD Student   Supervisors:  Rahul Savani Research Groups:  ECCO Research Interests:  Automated Trading  Deep Learning  Machine Learning
	Elektra Kypridemou   PhD Student       Supervisors:  Michele Zito and Marco Bertamini Research Groups:  Networks Research Interests:  Graph Theory  Visual Perception  Graph Drawing  Information Visualitation  Knowledge Representation  Artificial Intelligence
	Eva Onokpasa PhD student   Supervisors:  Sebastian Wild and Prudence Wong Research Groups:  ACTO  Networks Research Interests:  compression  RNA secondary structures  constraint-satisfaction problems
	Alpay Ozkeskin PhD Student   Supervisors:  Prudence Wong Research Groups:  Networks Research Interests:  Scheduling algorithms  Approximation and online algorithms
	Ben Smith PhD student email     Supervisors:  Sebastian Wild and Leszek Gąsieniec Research Groups:  ACTO  Networks Research Interests:  bamboo garden trimming  algorithm science