Julian Bradfield (Director of Institute)
 Modal and temporal logics
 Modelchecking, concurrency, independence logics, descriptive complexity and set theory
 UML and modelling languages

Rik Sarkar (Deputy Director)
 Datascience and Machine learning. Privacy, Fairness, Explainable ML. Optimisation algorithms.
 Topological Data analysis. Topology in ML.
 Network Analysis and graph machine learning.
 AI for Biomedical Engineering  diagnostics, interpretability, molecule design.
 Robotics: interpretable methods, analytics.

Stuart Anderson
 Design and analysis of dependable systems
 Formal proof in systems development

Myrto Arapinis
 Verification of cryptographic protocols: verification of security properties, detection of attacks, formal models, protocol composition
 Privacy in mobile telephony, electronic voting, statistical databases

David Aspinall
 Computer security (particularly proofcarrying code)
 Type systems for specification and programming languages
 Proof development environments

Peter Buneman
 Databases: data models, query languages, semistructured data, data provenance, databases and programming languages
 Programming languages: functional programming and type systems
 Bioinformatics and scientific databases
 Mathematical phylogeny

Yang Cao

James Cheney
 Programming languages
 Logic
 Scientific databases
 Provenance
 Verification

Mary Cryan
 Randomized algorithms, especially algorithms for sampling and counting
 Learning theory
 Algorithms for computational biology

Vincent Danos
 Foundational approaches to quantitative biology
 Syntaxes for representing, modelling, and understanding large protein networks
 Concurrent and stochastic systems

Tariq Elahi
 Analysis and design of privacy enhancing
 Secure networks and communications
 Privacy for the Internet of Things (IoT)

Kousha Etessami
In general, theoretical computer science. More specifically:
 Automated verification, logic, algorithms and computational complexity theory, algorithmic game theory, equilibrium computation, analysis of probabilistic systems, Markov decision processes, stochastic games, automata theory, model checking, analysis of infinitestate systems, finite model theory and descriptive complexity.

Wenfei Fan
 Database theory and systems: big data, data integration, data quality, query languages, database security, XML, distributed query processing, integrity constraints, and applications
 Web data management: computation, social networks, integrity constraits
 Logic and computation

Aris FilosRatsikas
 Algorithms and complexity for economic environments
 Game theory and mechanism design
 Computational social choice theory
 Computational fair division
 Competitive markets
 Machine learning for games and markets

Michael Fourman  Emeritus
 Formal models of digital systems
 Systemdesign tools
 Proof assistants
 Categorical semantics
 Propositional planning

Raul GarciaPatron Sanchez
 Quantum computation with nearterm quantum devices

Quantum simulation
 Classical algorithms to simulate noisy quantum devices
 Quantum information theory

Stephen Gilmore
 Formal methods of program development
 Formal specifications
 Software engineering
 Concurrent systems

Rob van Glabbeek
 Comparative Concurrency Semantics
 Mathematical models and formal languages for the representation of distributed systems and the verification of statements about them
 Foundational work investigating the possibilities of such models and languages

Andrew D. Gordon
 Computer security
 Programming languages and their semantics and logics
 Probabilistic programming for machine learning

Paulo Guagliardo
 Database theory and systems
 Semantics of query languages
 Logic in computer science

Heng Guo
 Computational complexity classifications
 Rapid mixing of random cluster dynamics
 Uniform sampling and the Lovász Local Lemma

Chris Heunen
 Quantum programming languages
 Category theory
 Quantum logic
 Foundations of quantum theory
 Quantum computing

Jane Hillston (Head of School of Informatics)
 Quantitative formal modelling
 Markov processes and performance modelling
 Fluid approximation techniques
 Collective adaptive systems

Paul Jackson
 Formal verification (e.g. of cyberphysical systems and cachecoherence >> protocols)
 Automated techniques for hybrid systems verification
 Interactive theorem proving Formalised mathematics

Ohad Kammar
 Programming language theory
 Category theory and logic in computer science

Kyriakos Kalorkoti
 Computational complexity
 Computer algebra
 Decision problems in group theory

Elham Kashefi
 Verification of Quantum Technology
 Quantum Interactive Proof Systems
 Delegated Quantum Computing
 Experimental Implementation of Quantum Protocols
 Foundation of Quantum Mechanics
 Quantum Parallel Computing
 New Models for Quantum Computing

Aggelos Kiayias
Cryptography and Computer Security with particular emphasis on:

Blockchain based protocols including cryptocurrencies, bitcoin etc

Evoting systems, design, implementation, analysis

Cryptography for digital content distribution. Privacypreserving cryptographic protocols.

Markulf Kohlweiss

Verification of crytographic implementations

Crytographic currencies and zeroknowledge proof systems

Privacy and antisurveillance

Ethics in crypography

Leonid Libkin
 Databases
 Applications of logic in computer science

John Longley
 Higher type computability
 Semantics of programming languages
 Program verification

Richard Mayr
 Automated verification
 Automata and temporal logic
 Modelchecking and semantic equivalence checking
 Formal verification of realtime and probabilistic systems
 Infinitestate Markov chains
 Stochastic games

Milos Nikolic
 Database Management Systems
 Indatabase learning
 Stream processing
 Largescale data analytics

Andreas Pieris
 Database Theory
 Knowledge Representation and Reasoning
 Logic in Computer Science

Gordon Plotkin
Applications of logic, especially:
 The denotational and operational semantics of programming languages
 Typetheory
 Domaintheoretic and categorical analyses of computation
 General proof theory
 The semantics of natural language
 Process calculi and computational biology

Elizabeth Polgreen
 Program synthesis (algorithms, and applications of)
 Automated verification including model checking

Ajitha Rajan
Software engineering with particular focus on:
 Software Testing (test generation, coverage metrics, test oracles, regression testing)
 Analysis of concurrent programs including CUDA/OpenCL programs
 Software complexity metrics and their applications
 Cost models for testing and maintenance

Donald Sannella
 Algebraic specification and formal software development
 Correctness of modular systems
 Types and functional programming
 Resource certification for mobile code

Alan Smaill
 Constructive logics and nonrealist semantics
 Reflection principles and their application within automated reasoning systems
 Theorem proving in relation to programming

Ian Stark
 Semantics of computation,
 Functional programming
 Concurrency
 Category theory
 Domain theory

Perdita Stevens
 Mathematics and software engineering

Colin Stirling
 Models of concurrent computation
 Modal and temporal logics
 Verification of program properties

Kami Vaniea
 Security
 Human Computer Interaction
 Usable Privacy and Security

Vesselin Velichkov
 PGT Admissions Officer of Cyber Security, Privacy and Trust
 Personal Tutor of Informatics UG Students
 Project supervision of Honours Project
 Project supervision of MSC Dissertation

Stratis Viglas
 Database systems
 Query optimisation
 Data stream processing
 Database theory
 XML
 Peertopeer networks

Philip Wadler
 Programming languages
 Functional programming
 Lambda calculus
 Propositionsastypes
 Integrating static and dynamic typing
 Integrating queries into programming languages
 Session types and linear logic
 Web programming
 Haskell, Erlang, F#, Java, Links, LINQ, Scala, XML, XQuery

Petros Wallden
 Quantum Computing
 Quantum Cryptography
 Quantum Information Theory
 Foundations of Quantum Mechanics

Vassilis Zikas
 Cryptography
 Computer Security
 Game Theory
 Distributed Computing
 Cryptocurrencies
 Blockchain Technolgies
