Jean Pichon-Pharabod

Jean Pichon-Pharabod is a Tenure Track Assistant Professor at Department of Computer Science, Aarhus University, focusing on bridging programming language theory with industrial systems programming in areas like relaxed memory concurrency and formal verification. His work includes developing robust verification tools for WebAssembly and virtual machine security.

• Research Interests: Relaxed memory models, separation logic, capability safety, systems programming, and memory-safe execution environments.
• Scientific Awards: Amazon ARC Award (2024), Google ASPIRE Awards (2021-2023), AUFF Starting Grant.
• Key Contributions: Verified WebAssembly compilation, mechanised memory models, concurrency in ARM/RISC-V, and separation logic frameworks.
• Students: Zongyuan Liu, Maxime Legoupil, June Rousseau.