معرفی
Xavier Denis is a researcher in formal methods and program verification, recently completing his PhD at Laboratoire Méthodes Formelles (LMF) under Université Paris-Saclay. He developed Creusot, a deductive verifier for Rust programs, and will join the Proof Methodology group at ETH Zurich as a postdoctoral researcher under Prof. Peter Mueller.
- Affiliation: Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA
- Research interests: Program Verification, Ownership, Programs & Types
His contributions include:
- Co-chairing the Student Volunteer subcommittee at POPL 2024
- Authoring a PLDI 2022 paper on functional verification of Rust programs with unsafe code
۰مقاله ثبتشده
