Pierre Wilke

EN

Depuis septembre 2018, je suis Maître de Conférences à CentraleSupélec à Rennes, dans l’équipe CIDRE.

Avant cela, de janvier 2017 à août 2018, j’étais en post-doctorat dans l’équipe FLINT à l’Université de Yale. Mes activités de recherche appartenaient au projet CertiKOS, dont le but est de construire et vérifier formallement le noyau d’un système d’exploitation.

J’ai effectué mon doctorat dans l’equipe Celtique à l’Université de Rennes 1, d’août 2013 à novembre 2016. Mes recherches portaient sur la compilation formellement vérifiée de code C de bas niveau.

Centres d’intérêt

Je m’intéresse à l’analyse (statique et dynamique) de programmes, la compilation, les méthodes formelles, le code de bas niveau et la cybersécurité.

Publications

Void DBLP.

Enseignement

J’enseigne dans les cours suivants, à CentraleSupélec :

Contact

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