- Nada Amin
University Lecturer. Interested in programming languages, including
type systems, generative programming, relational programming,
domain-specific languages, neuro-symbolic reasoning, deriving
compilers, and applications to machine learning, biology and music.
- Cristina David
Royal Society University Research Fellow. Interested in program synthesis,
software verification, especially the verification of heap-manipulating
programs, program termination and the design of decision procedures.
- Anuj Dawar
- Professor of Logic and Algorithms. Interested in finite model theory
and its connection to the study of computational complexity; the theory of
databases; the complexity of games; and the expressive power of logical
- Marcelo Fiore
Professor of Mathematical Foundations of Computer Science. Interested in
mathematical models of computation; semantics of programming languages and
concurrent systems; metalanguages, type systems, and program logics; and
applications of category theory to computer science
Reader in Computer Science. Interested in developing algebraic structures to
model and design Internet routing protocols
- Mateja Jamnik
Reader in Artificial Intelligence. Interested in computational modelling of
human mathematical reasoning - in particular "informal" human techniques such
as the use of diagrams, analogy, symmetry, etc. - by employing techniques from
artificial intelligence, automated reasoning, diagrammatic reasoning, theorem
proving, proof planning, cognitive science, machine learning, human-computer
interaction, knowledge representation. Also a member of the CL AI group.
- Neel Krishnaswami
University Lecturer. Interested in the applications of proof theory, type
theory, and denotational semantics to programming language design and program
- Alan Mycroft
Professor of Computing. Interested in programming languages, type systems,
program analysis and compilation, especially techniques bridging the
- Larry Paulson
Professor of Computational Logic. Interested in automated theorem proving and
verification, cryptographic protocols, and the mechanisation of mathematics.
- Andrew Pitts
Professor of Theoretical Computer Science. Interested in the applications of
logic, type theory and category theory to the foundations of programming
languages and their semantics and to computer-aided proof.
- Martin Richards
University Senior Lecturer (retired). Interested in typeless languages; compact
byte stream interpretive codes; machine independent operating systems for
process control and real time applications; and real time analysis of digital
musical sound for use in an automatic accompanist system.
- Thomas Sauerwald
University Lecturer. Interested in the design and analysis of algorithms,
especially randomized algorithms, Markov chains, streaming algorithms and
- Peter Sewell
Professor of Computer Science and EPSRC Leadership Fellow. Interested in
programming language semantics, network protocols, semantic mechanisation,
security, and concurrency, especially relaxed-memory concurrency.
- Glynn Winskel
Professor of Computer Science. Interested in theoretical Computer Science and
related mathematics, especially applications of logic and category theory to
computer science, over a variety of areas from the foundations of semantics to