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

Research interests:Program Verification, Ownership, Programs & Types