Get my own profile
Co-authors
Damien DoligezChargé de recherches, InriaVerified email at inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesVerified email at irisa.fr
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Tom HirschowitzCNRSVerified email at univ-smb.fr
Walid TahaHalmstad UniversityVerified email at hh.se
Christian FerdinandVerified email at absint.com
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Francois RouaixPrincipal Software Engineer, MicrosoftVerified email at rouaix.org
David PichardieProfessor, ENS Rennes, FranceVerified email at inria.fr
Gordon StewartBedRock Systems, Inc.Verified email at bedrocksystems.com
Marc PantelAssociate Professor in Computer Science, Université de ToulouseVerified email at enseeiht.fr
Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
Sylvie BoldoInria, LMF, University Paris SaclayVerified email at inria.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaVerified email at unipi.it
François PottierInria ParisVerified email at inria.fr
Pierre-Evariste DagandCNRSVerified email at evr.ist
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org