Address: AKW 304
51, Prospect Street
06511 NEW HAVEN, CT -- USA
I am a postdoctoral associate in the FLINT research group at Yale University. My research concerns the CertiKOS project, which aims at building a formally verified OS kernel.
I was a PhD student in the Celtique team at Université de Rennes 1 in France, from 2013 to 2016.
My PhD work was about certified compilation of low-level programs.
My research interests cover the topics of static analysis of programs, low-level code and proof methods.
- APF: Algorithmique et Programmation Fonctionnelle (level: L1): lab sessions (2014/2015 and 2015/2016) and travaux dirigés (2015/2016)
- ACF: Analyse et Conception Formelles (level: M1): lab sessions (2014/2015 and 2015/2016)
- EVL: Étude des vulnérabilités des logiciels (level: M2): lab sessions (2014/2015)