 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
 Mike Gordon

Professor of Computer Assisted Reasoning. Interested in mechanised semantics of hardware and software, use of theorem proving for design and verification, and logical foundations of formal methods
 Tim
Griffin
 Reader in Computer Science. Interested in developing algebraic structures to model and design
Internet routing protocols
 Mateja Jamnik
 University Senior Lecturer. 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.
 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
