Jean Pichon-Pharabod

Research associate in Peter Sewell's group at the Computer Laboratory of the University of Cambridge, working on the REMS project.

Outreach

Reactive Scratch: teaching children programming with the technology of the 80s (rather than that of the 60s).

Student projects

Student projects 2019

Publications

See DBLP.

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

Last modified: 8 Oct 2019