Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jérôme FeretChargé de recherche, Inria ParisVerifierad e-postadress på inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGVerifierad e-postadress på univ-grenoble-alpes.fr
- Bruno BlanchetSenior researcher, INRIA ParisVerifierad e-postadress på inria.fr
- Liqian ChenAssociate Professor, National University of Defense Technology, ChinaVerifierad e-postadress på nudt.edu.cn
- Omer TrippAmazonVerifierad e-postadress på google.com
- Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.Verifierad e-postadress på jpmchase.com
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerifierad e-postadress på fahndrich.com
- Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerifierad e-postadress på cs.arizona.edu
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verifierad e-postadress på ulb.ac.be
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerifierad e-postadress på imdea.org
- Olivier BouissouCEA LISTVerifierad e-postadress på cea.fr
Följ
Patrick Cousot
Professor of Computer Science, CIMS, New York University
Verifierad e-postadress på cims.nyu.edu - Startsida