People

Academic Staff

	Katie Atkinson       Professor email Ashton 3.13       Research Groups:  KR Research Interests:  AI and Law  Computational Models Of Argument  Dialogue Games  Artificial Intelligence  Reasoning  Explainable AI
	John Fearnley       Reader email Ashton 3.22       Research Groups:  ACTO  EcCo Research Interests:  Algorithmic Game Theory  Computational Complexity  Formal Verification  Algorithms
	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  Distributed Systems
	Floriana Grasso     Senior Lecturer email Ashton 3.06         Research Groups:  KR Research Interests:  Argument and Computation  Computational Rhetoric  User Modelling  Argumentation  Computational Linguistics  Discourse Modelling  Rhetoric  Persuasive Communication
	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  Networks  Bioinformatics  Communication
	Daniel Hausmann     Lecturer email Holt 2.16b         Research Groups:  Verification Research Interests:  Fixpoint Theory  Automata On Infinite Words  Infinite-duration Games  Temporal Logics  Modal Logics
	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:  First-order Logic  Resolution-based Reasoning  Tableaux Methods  Modal Logic  Temporal Logic
	Rasmus Ibsen-Jensen     Lecturer email Holt 2.01C         Research Groups:  EcCo  Verification Research Interests:  Game Theory  Static Analysis  Evolutionary Theoretical Biology  Strategy Complexity  Two-player Zero-sum Games  Programming Languages  Control Flow Graphs
	Boris Konev     Professor email Ashton 1.15       Research Groups:  KR  Verification Research Interests:  Ontologies  Temporal Logic  Verification Formalisms  Deduction Systems  Specification
	Louwe Kuijer       Lecturer email Holt 215a         Research Groups:  KR Research Interests:  Modal Logics  Dynamic Epistemic Logic  Reasoning  Knowledge Representation
	Vitaliy Kurlin       Professor email MIF / Holt 2.01D         Research Groups:  ACTO
	Alexei Lisitsa   Senior Lecturer email       Research Groups:  Verification Research Interests:  Verification  Formal Methods  Security  Applied Automated Reasoning  Applied Machine Learning  Encrypted Graph Databases  AI and Robotics
	Nikhil Mande     Lecturer email Ashton 2.18         Research Groups:  ACTO  Networks Research Interests:  Complexity  Query Complexity  Communication Complexity  Quantum Computing  Analysis Of Boolean Functions  Approximation Theory  Algorithms  Graph Theory
	Othon Michail     Senior Lecturer email Holt 2.14         Research Groups:  ACTO  Networks Research Interests:  Distributed Computing  Algorithms and Complexity  Dynamic Networks  Programmable Matter  Networks  Security
	Anish Mukherjee     Lecturer email Ashton G.22C           Research Groups:  Networks  ACTO Research Interests:  Dynamic Algorithms and Complexity  Parallel Algorithms  Streaming Algorithms  Distributed Computing  Network Design  IoT
	Lutz Oettershagen     Lecturer email Holt 2.11b   Research Groups:  ACTO  Networks  DMML
	Terry Payne     Senior Lecturer email Ashton 3.04         Research Groups:  Networks Research Interests:  Logic  Semantic Web  Internet Of Things  Agents
	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
	Will Rosenbaum     Lecturer email Holt 2.16b       Research Groups:  ACTO  Networks Research Interests:  Distributed Computing  Graph Algorithms  Clock Synchronization  Adversarial Queueing Theory  Distributed Verification  Stable Matchings  Sublinear Time Algorithms  Sampling Algorithms
	Rahul Savani     Professor email Holt 2.15             Research Groups:  ACTO  EcCo Research Interests:  Game Theory  Algorithms & Complexity  Machine Learning  Automated Trading  Agent-based Modelling  Algorithms  Reinforcement Learning
	Sven Schewe     Professor email         Research Groups:  ACTO  Verification Research Interests:  Automata Theory  Game Theory  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
	Paul Spirakis     Professor email         Research Groups:  EcCo  Networks Research Interests:  Algorithms  Complexity  Distributed Computing  Game Theory  Applied Probability  Graph Theory
	Joachim Spoerhase     Lecturer email Ashton 3.11         Research Groups:  ACTO  Networks  DMML Research Interests:  Approximation Algorithms  Parameterised Approximation  Combinatorial Optimisation  Geometric Optimisation  Clustering  Network Design  Algorithms  Optimisation
	Karteek Sreenivasaiah   Lecturer email Ashton 1.19       Research Groups:  ACTO  Networks Research Interests:  Theory Of Computation  Computational Complexity  Algorithms
	John Sylvester     Lecturer email Ashton 2.23             Research Groups:  ACTO  Networks Research Interests:  Random Processes  Random Graphs  Markov Chains  (temporal) Graph Theory  Analysis Of Algorithms  Algorithms  Graph Theory
	Valentina Tamma     Senior Lecturer email Ashton 2.12         Research Groups:  KR Research Interests:  Ontologies  Dynamic Knowledge Evolution  Knowledge Acquisition  Semantic Web  Agents
	Tony Tan   Lecturer email     Research Groups:  Verification Research Interests:  Satisfiability Testing  Dependency Quantified Boolean Formulas  Graph Neural Networks  Logic in Computer Science  Two-Variable Logic  DQBF Applications
	Qiyi Tang   Lecturer email     Research Groups:  Verification Research Interests:  Trustworthy Machine Learning  Verification and Validation  Model Checking
	Patrick Totzke     Professor email Ashton 3.19             Research Groups:  Verification  ACTO Research Interests:  Game Theory  Logics  Automata  Verification  Infinite-state Systems  Temporal Or Probabilistic Modalities
	Konstantinos Tsakalidis     Lecturer email Ashton 2.19         Research Groups:  ACTO  EcCo Research Interests:  Algorithms and Data Structures  Computational Geometry  Graph Processing  Argumentation  Computational Linguistics  Discourse Modelling  Rhetoric  Persuasive Communication
	Sebastian Wild       Senior Lecturer email               Research Groups:  ACTO  Networks Research Interests:  Data Structures  Efficient Algorithms  Computation Over Compressed Data  Sorting  Analysis Of Algorithms
	Dominik Wojtczak     Professor email         Research Groups:  ACTO  EcCo  Verification Research Interests:  Probabilistic Systems  Game Theory  Coalition Games  Control Theory  Verification Of Embedded Systems  Security  Reinforcement Learning
	Frank Wolter     Professor email Ashton 2.04       Research Groups:  KR  Verification Research Interests:  Knowledge Representation  Reasoning  Logic  Ontologies
	Prudence Wong     Professor email Ashton 3.18         Research Groups:  ACTO  Networks Research Interests:  Algorithms  Optimisation  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  Algorithms  Logic  Networks
	Shufang Zhu     Lecturer email Ashton 3.20     Research Groups:  Verification

Postdocs

	Michal Ajdarow Postdoc   Supervisors:  Patrick Totzke Research Groups:  Verification
	Soumyajit Paul   Postdoc   Supervisors:  Sven Schewe Research Groups:  ACTO  Verification  EcCo Research Interests:  game theory  verification
	Sam Thompson Postdoc email     Supervisors:  Tony Tan Research Groups:  Verification
	Di-De Yen Postdoc   Supervisors:  Patrick Totzke Research Groups:  Verification Research Interests:  automata theory

Students

	Sarosh Adenwalla PhD student email       Supervisors:  Viktor Zamaraev and John Sylvester Research Groups:  ACTO  Networks
	Ziad Ismaili Alaoui PhD student email     Supervisors:  Sebastian Wild and Nikhil Mande and Viktor Zamaraev Research Groups:  ACTO  Networks
	Nada Almalki   PhD student   Supervisors:  Othon Michail and Viktor Zamaraev Research Groups:  Networks  ACTO
	Peter Austin   PhD student   Supervisors:  Patrick Totzke and Sven Schewe Research Groups:  Verification
	Sarvin Bahmani PhD student   Supervisors:  Sven Schewe Research Groups:  Verification Research Interests:  Automata Theory  Game Theory  Verification
	Yujian Cao PhD student   Supervisors:  Shufang Zhu Research Groups:  Verification
	Klara Rawska-Furman PhD student   Supervisors:  Louwe Kuijer Research Groups:  Verification