Jean Pichon-Pharabod

I have moved to Aarhus University, see my new webpage.
Before that, I was a Research associate in Peter Sewell's group at the Computer Laboratory of the University of Cambridge, working on the REMS project.
Affiliated lecturer, lecturing Part II (3rd year) Hoare Logic & Model Checking.

Contact

jean.pichon at cl.cam.ac.uk
Google Scholar
orcid: 0000-0002-4442-6543

Outreach

Reactive Scratch: helping children learn programming using the technology of the 80s (rather than that of the 60s).

Student projects

Student projects

Software

Publications

See DBLP.

Thesis: A no-thin-air memory model for programming languages, Jean Pichon-Pharabod webpage

Last modified: 8 Sep 2021