Christopher Pulte

missing photo

Christopher Pulte

Royal Society University Research Fellow and Affiliated Lecturer in Computer Science at the University of Cambridge.

My research interests are in programming language semantics, type systems, concurrency, and verification. My research focuses on systems software, low-level software whose correctness and security is critical but which is especially difficult to reason about.

Previously I was a Senior Research Associate in Cambridge. Before that I did a PhD, supervised by Peter Sewell, and a master’s at the University of Cambridge, and an undergraduate at Technical University Dortmund.

Contact

christopher.pulte@cl.cam.ac.uk
University of Cambridge,
Computer Laboratory,
15 JJ Thomson Avenue,
Cambridge, CB30FD

Publications

Teaching

Software

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