Pierre Wilke


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

Depuis septembre 2018, je suis enseignant-chercheur à CentraleSupélec sur le campus de Rennes, au sein de l'équipe CIDRE.

Avant cela, de janvier 2017 à août 2018, j'ai effectué un post-doctorat dans l'équipe FLINT à l'Université de Yale.
Mes activités de recherche s'inscrivaient dans le projet CertiKOS dont le but est de construire un noyau de système d'exploitation formellement vérifié.

J'ai effectué ma thèse de doctorat dans l'équipe Celtique à l'Université de Rennes 1, d'août 2013 à novembre 2016. Mes travaux de doctorat portaient sur la compilation formellement vérifiée de code C de bas niveau.

Centres d'intérêt

J'effectue ma recherche dans les domaines d'analyse de programmes, compilation, méthodes formelles et cybersécurité.

Publications

Journaux
Conférences

Enseignements