Pascal Fontaine is assistant professor at the University of Lorraine since September 2006. He received his PhD from the University of Liège, Belgium, in 2004. His main research interests are automated theorem proving and satisfiability solving. More specifically, he is developing, with David Déharbe, the open-source SMT solver veriT.
veriT : un outil pour résoudre efficacement des formules logiques avec contraintes arithmétiques.