People

• Academic staff
• Research staff
• Support staff
• Associate members
• Honorary members
• Visitors Commercialisation
  

 Academic staff

	Jane Hillston, Director - Stochastic process algebras, Markov processes and performance modelling. Personal Page
	Stuart Anderson -  Design and analysis of dependable systems, formal proof in systems  development.   Personal Page
	David Aspinall - Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments. Personal Page
	Julian Bradfield - Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages. Personal Page
	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. Personal Page
	James Cheney - Programming languages, logic, scientific databases, provenance, verification. Personal Page
	Mary Cryan - Randomized algorithms, especially algorithms for sampling and counting; learning theory; algorithms for computational biology. Personal Page
	Vincent Danos - Foundational approaches to quantitative biology; syntaxes for representing, modelling, and understanding large protein networks; concurrent and stochastic systems. Personal Page
	Ilias Diakonikolas - Algorithms, Computational Complexity, Learning, Game Theory. Personal Page
	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 infinite-state systems, finite model theory and descriptive complexity. Personal Page
	Wenfei Fan - Database theory and systems: data integration, data quality, query languages, database security, XML, distributed query processing, integrity constraints, and applications; Web services: models, verification, composition and aggregation; logic and computation. Personal Page
	Michael Fourman - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning. Personal Page
	Stephen Gilmore - Formal methods of program development, formal specifications, software engineering, concurrent systems. Personal Page
	Andrew D. Gordon - Computer security; programming languages and their semantics and logics; probabilistic programming for machine learning
	Paul Jackson - Mechanical theorem proving, reactive systems, linear temporal logic. Personal Page
	Kyriakos Kalorkoti - Computational complexity, computer algebra, decision problems in group theory.
	Elham Kashefi - Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device.
	Leonid Libkin - Databases and Applications of logic in computer science. Personal Page
	John Longley - Higher type computability, semantics of programming languages, program verification. Personal Page
	Richard Mayr - Automated verification, automata and temporal logic, model-checking and semantic equivalence checking, formal verification of real-time and probabilistic systems, infinite-state Markov chains and stochastic games. Personal Page
	Gordon Plotkin - Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology. Personal Page
	Ajitha Rajan  Personal Page
	Donald Sannella - Algebraic specification and formal software development; correctness of modular systems; types and functional programming; resource certification for mobile code. Personal Page
	Rahul Santhanam  - Computational complexity theory, and applications to cryptography, game theory and learning theory; algorithms. Personal Page
	Rik Sarkar - networks, protocols, algorithms, mobile computing, sensor networks, geometry Personal Page
	Alex Simpson - Category theory, domain theory, logic, type theory. Personal Page
	Alan Smaill - Constructive logics and non-realist 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 and domain theory. Personal Page
	Perdita Stevens - Software engineering, concurrency, logic, verification. Personal Page
	Colin Stirling - Models of concurrent computation, modal and temporal logics, verification of program properties. Personal Page
	Stratis Viglas - Database systems, query optimisation, data stream processing, database theory, XML, peer-to-peer networks. Personal Page
	Philip Wadler - Programming languages, functional programming, lambda calculus, propositions-as-types, 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. Personal Page

Research staff

	Brian Campbell Personal Page
	Vedran Dunjko
	Diego Figueira Personal Page
	Vashti Galpin Personal Page
	Ilias Garnier
	Amelie Gheerbrant Personal Page
	Egor Kostylev  Personal Page
	James McKinna
	Grant Passmore Personal Page
	Randy Pollack Personal Page

Postgraduate Students

	Apostolos Apostolidis
	Danel Ahman
	Cristina Alexandru
	Christopher Banks
	Yang Cao
	Chiranjit Chakraborty Personal Page
	Andreas Chatzistergiou
	Hadi Daneshvar Farzanegan
	Daniel Franzen
	Nargess Ghahremani-Azghandi
	Anastasios Georgoulas
	Andrew Jones
	Jiansen He
	Ricardo Honorato
	Theodoros Kapourniotis
	Benedict Kavanagh
	Karoliina Lehtinen
	Zhengshuai (Howard) Lin
	Mark MacGillivray
	Dimitris Milios
	Fabian Nagel
	Alireza Pourranjbar
	Juan Reutter Personal Page
	Andrew Sogokon
	Alistair Stewart
	Patrick Totzke Personal Page
	Domagoj Vrgoc
	Xin Wang
	John Wilson-Kanamori
	Wenyuan Yu

Support Staff

• Avril Heron - Support Office Supervisor
  

• Dyane Goodchild - Finance Office Supervisor
• Joanne Pennie - Portfolio Manager
• Magdalena Mazurczak - Senior Clerical Assistant (on Maternity Leave)
  
• Fiona Lees - Senior Secretary
• Katey Lee - Senior Secretary (maternity cover)
  

Associate Members

• Malcolm Atkinson
• Alan Bundy - Personal Page
• Allan Clark - Personal Page
• Dave Robertson - Personal Page - Design and deployment of multi-agent systems; large-scale, automated design and transformation of knowledge bases and problem solvers; agent-oriented software engineering
• Guido Sanguinetti - Personal Page
• Mark Steedman - Personal Page - Computational linguistics, artificial intelligence, formal grammar, spoken intonation, statistical parsing, spoken language processing, animated conversational agents, computational musical analysis.
• Einar Pius
  

Honorary Members

• Rod Burstall
  

• Ewen Denney

• Christoph Lueth
• Alberto Momigliano
• John Power
• Conor McBride
• Damian Markham
• Mike Just
  

Visitors

• Kenneth MacKenzie - Personal Page
• Nicholas Oury
• Michael Pedersen
  
• William Waites
• Sam Lindley
  

•  Andras Salamon
  

Commercialisation

• David Richardson - Senior Business Development Executive