Xavier Denis

Registered user since Sat 16 Dec 2023

Name:Xavier Denis

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.

Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles
Research interests:Program Verification, Ownership, Programs & Types