Crea il mio profilo
Accesso pubblico
Visualizza tutto8 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Dan GrossmanComputer Science, University of WashingtonEmail verificata su cs.washington.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
- Karl CraryCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- David WalkerPrinceton UniversityEmail verificata su cs.princeton.edu
- Aleksandar NanevskiIMDEA Software InstituteEmail verificata su imdea.org
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghEmail verificata su inf.ed.ac.uk
- Fred SchneiderCS Dept, Cornell UniversityEmail verificata su cs.cornell.edu
- Gang TanProfessor of computer science and engineering, Penn State UniversityEmail verificata su cse.psu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Amal AhmedNortheastern UniversityEmail verificata su ccs.neu.edu
- Gregory MalechaBedRock Systems, IncEmail verificata su bedrocksystems.com
- Matthew FluetRochester Institute of TechnologyEmail verificata su cs.rit.edu
- Matt WelshGoogleEmail verificata su mdw.la
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityEmail verificata su drexel.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupEmail verificata su bc.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
- Ryan WisneskyConexus AIEmail verificata su wisnesky.net
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atEmail verificata su utdallas.edu
- Ryan NewtonMIT, Indiana University, FacebookEmail verificata su indiana.edu
- Stephen McCamantAssociate Professor, University of MinnesotaEmail verificata su cs.umn.edu
Segui