Vincent Lafeychine -

Registered user since Fri 9 Jan 2026

Name:Vincent Lafeychine

Country:France

Affiliation:Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria - LMF

Contributions

2026

SPLASH

Author of Bringing Foundational Verification to Real-World Rust Code within the OOPSLA-track

POPL

Presenter of Creusot: Formal verification of Rust programs within the Tutorials-track