conf.researchr.org / Xavier Denis
Registered user since Sat 16 Dec 2023
Name:Xavier Denis
Bio:
I recently finished my PhD at the LMF, where I developed Creusot a deductive verifier for Rust programs.
I will be joining the Proof Methodology group at ETH Zurich this Spring under the supervision of Prof. Peter Mueller.
Country:France
Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles
Personal website: https://www.lri.fr/~xldenis/
X (Twitter): https://x.com/xldenis
GitHub: https://github.com/xldenis
Research interests:Program Verification, Ownership, Programs & Types
Contributions