About
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.
0Publications listed
Find Jean Pichon-Pharabod elsewhere
Related Searches
You Might Also Like
- JJean Pichon-PharabodAarhus University · Assistant Professor
- JJean Pichon-PharabodBrown University · Assistant Professor
Conrad WattInria · Assistant Professor
Conrad WattIMDEA Software Institute · Assistant Professor- PPhilippa GardnerMax Planck Institute for Software Systems · Professor
William ManskyInria · Assistant Professor