Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Jérôme FeretChargé de recherche, Inria ParisE-mailová adresa ověřena na: inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- Bruno BlanchetSenior researcher, INRIA, ParisE-mailová adresa ověřena na: inria.fr
- Liqian ChenAssociate Professor, National University of Defense Technology, ChinaE-mailová adresa ověřena na: nudt.edu.cn
- Omer TrippAmazonE-mailová adresa ověřena na: google.com
- Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.E-mailová adresa ověřena na: jpmchase.com
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchE-mailová adresa ověřena na: fahndrich.com
- Roberto GiacobazziProfessor of Computer Science, University of ArizonaE-mailová adresa ověřena na: cs.arizona.edu
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.E-mailová adresa ověřena na: ulb.ac.be
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- Olivier BouissouCEA LISTE-mailová adresa ověřena na: cea.fr
Sledovat
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
E-mailová adresa ověřena na: cims.nyu.edu - Domovská stránka