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, lecturing Part II (3rd year) Hoare Logic & Model Checking.

Contact

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

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.

Funding

I have received an AUFF Starting Grant and a Google ASPIRE 2021 award.

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: 07 Oct 2022