People

Academic Staff

	Katie Atkinson       Professor email EEE, 607       Research Groups:  ARK Research Interests:  AI and Law  computational models of argument  dialogue games
	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       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
	Lorenzo Gheri   Lecturer email Ashton G12c         Research Groups:  Verification Research Interests:  Programming Languages  Proof Assistants  Concurrency and distributed systems
	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
	Louwe Kuijer       Lecturer email Holt 215a         Research Groups:  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
	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 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
	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 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
	Friedrich Slivovsky   Lecturer email Ashton 2.02           Research Groups:  Verification Research Interests:  Satisfiability  Quantified Boolean Formulas  Knowledge Compilation Module coordinator for:  COMP331 / COMP557
	Paul Spirakis     Professor email         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
	Tony Tan Lecturer email   Research Groups:  Verification
	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
	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
	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       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
	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
	Soumyajit Paul Postdoc   Supervisors:  Sven Schewe Research Groups:  ACTO  Verification  ECCO Research Interests:  game theory  verification
	Di-De Yen Postdoc   Supervisors:  Patrick Totzke Research Groups:  Verification Research Interests:  automata theory

Students

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