Jean Pichon-Pharabod

Tenure-track assistant professor in the Logic & Semantics group at the Institut for Datalogi of Aarhus University.
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, and an affiliated lecturer.
Before that, I was a PhD student supervised by Peter Sewell.

Contact

jean.pichon at cs.au.dk
Office: Turing 129 (building 5341)
Google Scholar
orcid: 0000-0002-4442-6543
institutional webpage
LinkedIn page

Research interests

I am interested in bridging the gap between programming language theory and the industrial practice of programming with real-world systems, focusing in particular on relaxed memory concurrency and systems programming, from modelling and tooling to developing new reasoning methods

I am looking for motivated PhD students, PostDocs, and interns.

Students

Funding

Outreach

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

Teaching

Student projects

Student projects

Software

Publications

See DBLP.

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

Last modified: 23 Aug 2024