(fun x y -> x^"."^y^"@inria.fr") "clement" "allain"
Hi! I am a third year Ph.D. student in computer science at INRIA Paris. My advisor is Gabriel Scherer.
I am mainly interested in mechanized formal verification, including program verification using the Iris separation logic and verified compilation.
Fall 2023 | Functional programming (OCaml) |
Summer 2023 | |
Fall 2024 | |
Fall 2023 | Introduction to operating systems |