내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jérôme FeretChargé de recherche, Inria Parisinria.fr의 이메일 확인됨
- David MonniauxResearcher in computer science, CNRS, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
- Bruno BlanchetSenior researcher, INRIA, Parisinria.fr의 이메일 확인됨
- Liqian ChenAssociate Professor, National University of Defense Technology, Chinanudt.edu.cn의 이메일 확인됨
- Omer TrippAmazongoogle.com의 이메일 확인됨
- Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.jpmchase.com의 이메일 확인됨
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft Researchfahndrich.com의 이메일 확인됨
- Roberto GiacobazziProfessor of Computer Science, University of Arizonacs.arizona.edu의 이메일 확인됨
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.ulb.ac.be의 이메일 확인됨
- Pierre GantyAssociate Research Professor, IMDEA Software Instituteimdea.org의 이메일 확인됨
- Olivier BouissouCEA LISTcea.fr의 이메일 확인됨
팔로우
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
cims.nyu.edu의 이메일 확인됨 - 홈페이지