Pierre Wilke

Address:
AKW 304
51, Prospect Street
06511 NEW HAVEN, CT -- USA
Email: pierre.wilke@yale.edu

Since January 2017, 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.

Research Interests

My research interests cover the topics of static analysis of programs, low-level code and proof methods.

Publications

Teaching