denismerigoux

I am a PhD student at Inria inside the Prosecco team, under the supervision of Karthikeyan Bhargavan and Jonathan Protzenko. I am specialized in the study of programming languages and formal verification. My PhD topic is the deductive verification of Rust programs, using a semi-automated separation logic inside the F* framework.