I am a PhD candidate at the INRIA Paris’ Cambium team, under the supervision of François Pottier.
My research interests are in deductive verification and programming languages. I am working on using the Iris framework in Coq for the verification of Ocaml programs.
I graduated with a MSc. in Computer Science from the University of Oxford in 2023 and a BSc in Computer Science and Mathematics from Ecole Polytechnique in 2022.
Research Experience
I completed my masters thesis under the supervision of Prof. Nobuko Yoshida and Dr. Lorenzo Gheri on the mechanisation of MultiParty Session Types.
During my undergraduate I worked as a research assitant at the Trustworthy Systems group at the University of New South Wales (formerly Data 61). I worked on the Pancake language, helping boostrap a formally verified compiler for it.
I also worked with Prof. Pierre-Yves Strub on the formalisation of ideals in commutative algebra.
I did my undegraduate thesis under the supervision of Dr. Lutz Straßburger on retrieving formulaic structure from arbitrary graphs through Modular Decomposition.
Contact
Email: remy.seassau@inria.fr