Programming, Logic, and Semantics Group

Academic staff

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, human-computer interaction, knowledge representation.
Alan Mycroft
Professor of Computing. Interested in programming languages, type systems, program analysis and compilation, especially techniques bridging the theory-systems 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
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 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 systems biology

Research Fellows and Research Associates

Matt Anderson
Research associate. Interested in descriptive complexity and algebraic complexity
James Bridge
Research associate.
Pierre Clairambault
Research associate. Interested in logics and foundations of the semantics of programming languages
Anthony Fox
Research associate. Interested in formal specification and verification of ARM
Jonas Frey
Research associate.
Kathryn Gray
Research associate. Interested in programming language semantics, testing, and modeling systems
Jonathan Hayman
Research associate. Interested in logics and models for concurrent programming languages
Ohad Kammar
Research associate. Interested in category theory, logic, and algebra; and programming language semantics and theory, with emphasis on computational effects, concurrency, access control, and effect type systems
Stephen Kell
Research associate.
Gabriel Kerneis
Research associate.
Marc Lasson
Research associate.
Dominic Mulligan
Research associate.
Magnus Myreen
Research associate. Interested in formal methods for creating and verifying trustworthy machine code
Arno Pauly
Research fellow. Interested in computational aspects of game theory

Students

Mark Batty (Sewell)
Interested in concurrency models
Peter Calvert (Mycroft)
Interested in modelling of heterogeneous architectures
Marco Devesas Campos (Fiore)
Stephen Dolan (Mycroft)
William Denman (Paulson)
Interested in verification of continuous and hybrid systems
Shaked Flur (Sewell)
Michael Gale (Mycroft)
Alex Katovsky (Winskel)
Interested in mathematical foundations of Computer Science
Jukka Lehtosalo (Mycroft/Greaves)
Interested in optional static type systems and compilers for object-oriented scripting languages
Jannis Bulian (Dawar)
Zongyan Huang (Paulson)
Interested in applying machine learning to theorem proving
Ramana Kumar (Gordon)
Interested in verified implementations of functional programming languages
Steffen Loesch (Winskel)
Interested in concurrency theory, denotational semantics, nominal sets and category theory
Justus Matthiesen
Kayvan Memarian (Sewell)
Interested in programming language semantics and mechanised verification
Kyndylan Nienhus (Sewell)
Jean Pichon (Sewell)
Tomas Petricek (Mycroft)
Interested in programming models and types for reactive and distributed programming
Raphael Proust (Mycroft)
Will Sonnex (Paulson)
Nik Sultana (Paulson)
Interested in combining automated theorem provers
Raoul-Gabriel Urma (Mycroft)
Janina Voigt (Mycroft)

Friends in Cambridge

Moritz Becker
Researcher at Microsoft Research
Nick Benton
Senior Researcher at Microsoft Research
Gavin Bierman
Senior Researcher at Microsoft Research
Luca Cardelli
Principal Researcher at Microsoft Research
Thomas Forster
Affiliated lecturer in the Department for Pure Mathematics and Mathematical Statistics
Cedric Fournet
Principal Researcher at Microsoft Research
Andrew Gordon
Principal Researcher at Microsoft Research
Tony Hoare
Principal Researcher at Microsoft Research
Martin Hyland
Professor in Mathematical Logic in the Department of Pure Mathematics and Mathematical Statistics
Andrew Kennedy
Researcher at Microsoft Research
Dominic Orchard
Former member and Research Associate in the DTG
Matthew Parkinson
Researcher at Microsoft Research
Simon Peyton Jones
Principal Researcher at Microsoft Research
Claudio Russo
Researcher at Microsoft Research

Former members

Samy Abbes
Paris 7
Mair Allen-Williams
Timos Antonopoulos
Marcin Benke
John Billings
Steve Bishop
Max Bolingbroke
Silvia Breu
Matko Botincan
Peter Buchlovsky
Mario Caccamo
Rachel Cardell-Oliver
University of Western Australia
Luca Cattani
DS Data Systems
Shu Yan Chan
Ranald Clouston
Michael Compton
CSIRO - ICT
Adriana Compagnoni
Federico Crazzolara
Silvano Dal Zilio
LAAS-CNRS
Francis Davey
Valeria de Paiva
Cuil, Inc.
Mike Dodds
University of York
Sidi O Ehmety
Rob Ennals
Matthew Fairbairn
Boris Feigin
Jamie Gabbay
Heriot-Watt University
Philippa Gardner
Imperial College London
Christopher Gautier
Johan Glimming
Alex Gurney
Julian Gutierrez
Research associate. Interested in logics, games and mathematical models for concurrency
Paul Hankin
John Harrison
Intel Corporation
Yuguo He
John Herbert
University College Cork
Barney Hilken
Mike Hinchey
New Jersey Institute of Technology
Chung-Kil Hur
Max Planck Institute for Software Systems
Bartek Klin
Warsaw University
Bjarki Holm
Twigkit
Joe Hurd
Galois, Inc.
Paul Hunter
Oxford University
Eric Koskinen
New York University
Ole Jensen
Matthew Lakin
Postdoctoral researcher at Microsoft Research
Soren B. Lassen
James Leifer
INRIA Rocquencourt / Microsoft Research-INRIA Joint Centre
Anton Lokhmotov
Senior Engineer at ARM
Ola Mahmoud
Jonathan Mak
Robin Milner (1934-2010)
Emeritus Professor
Julio Marino-Carballo
Madrid University of Technology
Jean Martina
Tom Melham
University of Oxford
Jia Meng
Robin Message
Daiva Naudziuniene
Imperial College London
Vilius Naudziunas
Google
Arthur Norman
Fellow of Trinity College
Cosmin Oancea
Scott Owens
University of Kent
Gilles Peskine
INRIA
Benjamin Pierce
University of Pennsylvania
Giuliano Procida
Paola Quaglia
BRICS, Aarhus University.
Charlie Reams
Gareth Rees
Canon Research Centre Europe, Guildford
David Richerby
Tom Ridge
University of Leicester
Joshua Ross
Kristin Rozier
NASA Ames Research Center
Susmit Sarkar
Mark Sawle
Lucy Saunders-Evans
Andrea Schalk
University of Manchester
Andrei Serjantov
Jaroslav Ševčík
Google Munich
Mark Shinwell
Jane Street Capital
Jeremy Singer
University of Glasgow
Pawel Sobocinski
University of Southhampton
Ian Stark
University of Edinburgh
Sam Staton
Radboud University
Gareth Stoyle
Fitch Ratings
Rok Strniša
A Leading Hedge Fund
Tom Stuart
Angelos Tsolakis
Thomas Tuerk
Asis Unyapoth
Christian Urban
King's College London
Matej Urbas
Kim Wagner
Mondex
Viktor Vafeiadis
Researcher at Max-Planck Institute for Software Systems
Daniele Varacca
University Paris Diderot
Chris Thompson-Walsh
Keith Wansbrough
Tjark Weber
Uppsala University
Leo White
OCaml Labs
John Wickerson
Imperial College London
Alisdair Wren
Lucian Wischik
Microsoft Corp.
Pawel Wojciechowski
Poznań University of Technology, Poland
Francesco Zappa Nardelli
INRIA
Yichi Zhang

Please email updates to rk436 (Last updated: Mon Mar 3 12:56:41 GMT 2014 )