 Cristina David

Royal Society University Research Fellow. Interested in program synthesis,
software verification, especially the verification of heapmanipulating
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
formalisms
 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
 Tim
Griffin

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, humancomputer
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
verification.

 Alan Mycroft

Professor of Computing. Interested in programming languages, type systems,
program analysis and compilation, especially techniques bridging the
theorysystems divide.
 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 computeraided 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
distributed computing.
 Peter Sewell

Professor of Computer Science and EPSRC Leadership Fellow. Interested in
programming language semantics, network protocols, semantic mechanisation,
security, and concurrency, especially relaxedmemory 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
systems biology.
