denismerigoux avatar
Active user
2 years ago by invitation from pushcx
55, averaging 7.86 per story/comment

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.