POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
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


Show activities from other conferences

POPL 2024-profile
View general profile