Bienvenue sur ma page perso !

Je suis diplômé de l'Ecole Polytechnique et ingénieur du Corps des Mines (anciennement Télécoms), actuellement doctorant dans l'équipe Démons du LRI à Orsay (a.k.a. projet Proval à l'INRIA ^^).

Je travaille sous la direction d'Evelyne Contejean et Sylvain Conchon à la preuve formelle d'un démonstrateur automatique dédié à la preuve de programmes : Alt-Ergo. Vous trouverez plus de détails sur mon travail sur la page Recherche.