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
	Alan Bundy - Understanding the processes of mathematical reasoning and discovery, including the processes of inference, learning, analogy, proof analysis and problem formalisation. In particular, the development of "proof plans". 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
	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
	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
	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
	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

	Bahareh Afshari                                                                              Personal Page
	Brian Campbell Personal Page
	James Cheney - Programming languages, logic, scientific databases, provenance, verification. Personal Page
	Diego Figueira Personal Page
	Ilias Garnier
	Amelie Gheerbrant Personal Page
	Maurice Jansen Personal Page
	Egor Kostylev  Personal Page
	Sam Lindley Personal Page
	James McKinna
	Grant Passmore Personal Page
	Randy Pollack Personal Page
	Sandra Quickert
	Tony Tan Personal Page

Postgraduate Students

	Cristina Alexandru
	Christopher Banks
	Chiranjit Chakraborty Personal Page
	Andreas Chatzistergiou
	Lorenzo Clemente
	Nargess Ghahremani-Azghandi
	Jiansen He
	Ohad Kammar Personal Page
	Benedict Kavanagh
	Zhengshuai Lin
	Dimitris Milios
	Fabian Nagel
	Alireza Pourranjbar
	Juan Reutter Personal Page
	Andrew Sogokon
	Alistair Stewart
	Antonios Thomas
	Patrick Totzke
	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
• Carrie McNamee -  Senior Secretary

Associate Members

• 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
• Mark Steedman - Personal Page - Computational linguistics, artificial intelligence, formal grammar, spoken intonation, statistical parsing, spoken language processing, animated conversational agents, computational musical analysis.

Honorary Members

• Rod Burstall
  

• Ewen Denney

• Christoph Lueth
• Alberto Momigliano
• John Power

Visitors

• Allan Clarke
• Vedran Dunjko
  
• Vashti Galpin - Personal Page
• Anders Johannsen
• Karolina Lehtinen
  
• Kenneth MacKenzie - Personal Page
• Nicholas Oury
• Michael Pedersen
  
• William Waites

Commercialisation

• David Richardson - Senior Business Development Executive