Je suis actuellement Professeur Habilité à l'Institut National des Postes et Télécommunications.
J'ai soutenu ma thèse de doctorat à l'Université de Grenoble sous la direction de Ricardo Caferra et Nicolas Peltier.
Je m'intéresse au raisonnement automatique et plus particulièrement à l'utilisation des schématisations de termes en démonstration automatique de théorèmes (du premier ordre).