Ingénieur-chercheur en méthodes formelles
chez Nomadic Labs
Ancien post-doctorant au
laboratoire Preuves,
Programmes et Systèmes, sur le projet
CerCo
Docteur en Informatique de l'Université Paris-Sud (Paris 11)
Thèmes de recherche : preuve de programme, analyse statique (model checking, interprétation abstraite, assistants à la démonstration)
Me joindre :