Pierre Wilke

FR

Since September 2018, I am an associate professor at CentraleSupélec in Rennes, in the SUSHI team (formerly CIDRE).

Before that, from January 2017 until August 2018, I was a postdoc in the FLINT group at Yale University. My research activities tooks place in the CertiKOS project, whose aim is to built and formally verify an Operating System kernel.

I did my Ph.D. thesis in the Celtique team at Université de Rennes 1, from August 2013 until November 2016. My research was about formally verified compilation of low-level C code.

Interests

I am interested in (static and dynamic) program analysis, compilation, formal methods, low-level code and cybersecurity.

Publications

See DBLP.

Teaching

I am teaching at CentraleSupélec at various levels :

Contact

Bureau 504
CentraleSupélec – Campus de Rennes
Avenue de la Boulaie
35510 Cesson-Sévigné – France