• Interests
• Publications
• Teaching
• Contact

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 took 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 :

• 1A (eq. L3, 3rd year Bachelor’s degree)
  • Algorithms and Complexity
  • Networks and Security
• 2A (eq. M1, 1st year of Master’s degree)
  • Compilation
  • Operating Systems
• 3A (eq. M2, 2nd year of Master’s degree)
  • Operating Systems
  • Memory attacks (buffer overflow)
  • Operating Systems Security
  • Formal methods

Contact

Bureau 504
CentraleSupélec – Campus de Rennes
Avenue de la Boulaie
35510 Cesson-Sévigné – France
pierre.wilke@centralesupelec.fr