Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
Liqian ChenProfessor, National University of Defense Technology, ChinaVerified email at nudt.edu.cn
Omer TrippAmazonVerified email at google.com
Marco PistoiaHead of Global Technology Applied Research, Global Head of Quantum Computing, JPMorgan Chase & Co.Verified email at jpmchase.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Olivier BouissouMathWorksVerified email at mathworks.com
Follow

Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Verified email at cims.nyu.edu - Homepage