Christopher Pulte

Christopher Pulte

missing photo

Senior Research Associate and Affiliated Lecturer in computer science at the University of Cambridge, working with Peter Sewell. My research interests are in programming language semantics, type systems, concurrency, and verification. My research focuses on systems software, critical low-level software that is difficult to reason about formally and informally.

University of Cambridge,
Computer Laboratory,
15 JJ Thomson Avenue,
Cambridge, CB30FD




Together with my colleagues I have worked on a couple of projects: