People
Academic Staff
![]() |
Professor email EEE, 607 Research Groups: ARK Research Interests: AI and Law computational models of argument dialogue games |
![]() |
Professor email Research Groups: ARK Research Interests: Practical reasoning value based reasoning legal reasoning, argumentation and narrative |
![]() |
Reader email Research Interests: Algorithmic Game Theory Algorithmic Mechanism Design Online Algorithms Inefficiency of Equilibria approximation algorithms Module coordinator for: COMP559 COMP326 |
![]() |
Professor email Ashton 3.11 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 |
![]() |
Lecturer email Research Groups: ACTO Networks Research Interests: Parallel Algorithms External-Memory Algorithms Approximation and Randomized Algorithms Module coordinator for: COMP331/557 Optimisation |
![]() |
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 |
![]() |
Senior Lecturer email Ashton 3.22 Research Interests: Algorithmic Game Theory computational complexity formal verification Module coordinator for: COMP396 COMP105 |
![]() |
Professor email Ashton 3.03 Research Interests: Algorithmic Game Theory efficiency of equilibria combinatorial optimisation approximation algorithms the price of anarchy algorithms |
![]() |
Lecturer email Ashton G.16 Research Groups: ARK Research Interests: Argument and Computation Computational Rhetoric User Modelling |
![]() |
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 |
![]() |
Professor email Ashton 2.22 Research Groups: Verification Research Interests: Trustworthy Machine Learning Verification and Validation Model Checking |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
Professor email Ashton 3.13 Research Interests: Combinatorial & continuous optimisation approximation algorithms algorithmic mechanism design algorithmic game theory graph algorithms statistical learning theory randomised algorithms & probabilistic analysis computational complexity |
![]() |
Lecturer email Ashton 2.13 Research Interests: Modal logics, especially dynamic epistemic logic |
![]() |
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 |
![]() |
Professor email Holt 2.01D Research Interests: Game theory social choice economic theory optimization, learning, and operations research |
![]() |
Lecturer email Research Groups: Verification Research Interests: Verification Formal Methods Security Applied Automated Reasoning Applied Machine Learning |
![]() |
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 |
|
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 |
![]() |
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 |
![]() |
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 |
![]() |
Lecturer email Ashton 3.20 Research Groups: Verification ACTO Research Interests: automata weighted automata vector addition systems computer-aided verification |
![]() |
Professor email Holt 2.15 Research Interests: Game theory Algorithms & Complexity Machine Learning Automated Trading Agent-Based Modelling |
![]() |
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 |
![]() |
Lecturer email Research Interests: Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations |
![]() |
Professor email Research Groups: ECCO Networks Research Interests: Algorithms Complexity Foundations of Distributed Computing and Algorithmic Game Theory |
![]() |
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 |
![]() |
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 |
![]() |
Lecturer email Research Groups: Verification Research Interests: Trustworthy Machine Learning Verification and Validation Model Checking |
![]() |
Senior Lecturer email Ashton 3.19 Research Groups: Verification ACTO Research Interests: logics automata game theory computer-aided verification |
![]() |
Lecturer email Ashton 1.13 Research Interests: Algorithms and data structures computational geometry graph processing Module coordinator for: COMP222 Principles of Computer Game Design and Implementation |
![]() |
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 |
![]() |
Reader email Research Groups: ACTO ECCO Verification Research Interests: Probabilistic systems game theory coalition games control theory verification of embedded systems |
![]() |
Professor email Ashton 1.14 Research Groups: ARK Verification Research Interests: Knowledge Representation Reasoning and Logic in Computer Science |
![]() |
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 |
![]() |
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 |
![]() |
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
![]() |
Postdoc Supervisors: Patrick Totzke Research Groups: ACTO Verification Research Interests: automata theory logic timed automata |
|
Supervisors: Sven Schewe Research Groups: Verification Research Interests: game theory |
![]() |
Supervisors: Sven Schewe Research Groups: Verification Research Interests: verification reinforcement learning |
Students
![]() |
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 |
![]() |
PhD Student Supervisors: Rahul Savani Research Groups: DMML Research Interests: Multi-agent Reinforcement Learning Deep Learning |
![]() |
PhD Student Supervisors: Rahul Savani Research Groups: ECCO Research Interests: Automated Trading Deep Learning Machine Learning |
![]() |
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 |