Skapa en profil
Medförfattare
- Damien DoligezChargé de recherches, InriaVerifierad e-postadress på inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesVerifierad e-postadress på irisa.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerifierad e-postadress på dicosmo.org
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerifierad e-postadress på princeton.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Tom HirschowitzCNRSVerifierad e-postadress på univ-smb.fr
- Walid TahaHalmstad UniversityVerifierad e-postadress på hh.se
- Benjamin GregoireInria Sophia-AntipolisVerifierad e-postadress på inria.fr
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerifierad e-postadress på bc.edu
- Christian FerdinandVerifierad e-postadress på absint.com
- Francois RouaixPrincipal Software Engineer, MicrosoftVerifierad e-postadress på rouaix.org
- David PichardieProfessor, ENS Rennes, FranceVerifierad e-postadress på inria.fr
- Marc PantelAssociate Professor in Computer Science, Université de ToulouseVerifierad e-postadress på enseeiht.fr
- Gordon StewartBedRock Systems, Inc.Verifierad e-postadress på bedrocksystems.com
- Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaVerifierad e-postadress på unipi.it
- Guillaume MelquiondInria, University Paris SaclayVerifierad e-postadress på inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayVerifierad e-postadress på inria.fr
- François PottierInria ParisVerifierad e-postadress på inria.fr
- Pierre-Evariste DagandCNRSVerifierad e-postadress på evr.ist
- Tahina RamananandroMicrosoft ResearchVerifierad e-postadress på ramananandro.org