Clement Hurlin

Clement Hurlin is was a Summer intern in 2005 from Nancy, France working with Joe Kiniry on Object Logic Interpretation and Translator (PVS to SMT-LIB). He was a PhD student in the Everest Project at INRIA . He is now a postdoc in Hélène Kirchner's group at the Centre de Recherche INRIA Bordeaux - Sud-Ouest.