Get my own profile
Co-authors
Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Walter FontanaProfessor of Systems Biology, Harvard Medical SchoolVerified email at hms.harvard.edu
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Heinz KoepplTechnische Universität DarmstadtVerified email at bcs.tu-darmstadt.de
Bruno BlanchetSenior researcher, INRIA ParisVerified email at inria.fr
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Christian FerdinandVerified email at absint.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Eric J. DeedsAssociate Professor, UCLAVerified email at ucla.edu
Olivier BouissouCEA LISTVerified email at cea.fr
Sylvie PutotLIX, Ecole PolytechniqueVerified email at polytechnique.edu