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
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Jacques-Henri JourdanUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-surVerified email at normalesup.org
Tom HirschowitzCNRSVerified email at univ-smb.fr
Walid TahaHalmstad UniversityVerified email at hh.se
Gordon StewartAssistant Professor, Ohio UniversityVerified email at ohio.edu
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Jean-Baptiste TristanBoston CollegeVerified email at bc.edu
Christian FerdinandVerified email at absint.com
Francois RouaixPrincipal Software Engineer, MicrosoftVerified email at rouaix.org
David PichardieProfessor, ENS Rennes, FranceVerified email at inria.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaVerified email at unipi.it
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
François PottierInria ParisVerified email at inria.fr
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Pierre-Evariste DagandCNRSVerified email at evr.ist