Depuis septembre 2018, je suis Maître de Conférences à CentraleSupélec à Rennes, dans l’équipe SUSHI (auparavant 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 :
- 1A (eq. L3)
- Algorithmes et Complexité
- Réseaux et Sécurité
- 2A (eq. M1)
- Compilation
- Systèmes d’Exploitation
- 3A (eq. M2)
- Systèmes d’Exploitation
- Attaques en mémoire (buffer overflow)
- Sécurité des Systèmes d’Exploitation
- Méthodes formelles
Contact
Bureau 504
CentraleSupélec – Campus de Rennes
Avenue de la Boulaie
35510 Cesson-Sévigné – France
pierre.wilke@centralesupelec.fr