Založit si vlastní profil
Veřejný přístup
Zobrazit všechny8 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Dan GrossmanComputer Science, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: andrew.cmu.edu
- Karl CraryCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- David WalkerPrinceton UniversityE-mailová adresa ověřena na: cs.princeton.edu
- Aleksandar NanevskiIMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- Fred SchneiderCS Dept, Cornell UniversityE-mailová adresa ověřena na: cs.cornell.edu
- Gang TanProfessor of computer science and engineering, Penn State UniversityE-mailová adresa ověřena na: cse.psu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Amal AhmedNortheastern UniversityE-mailová adresa ověřena na: ccs.neu.edu
- Gregory MalechaBedRock Systems, IncE-mailová adresa ověřena na: bedrocksystems.com
- Matthew FluetRochester Institute of TechnologyE-mailová adresa ověřena na: cs.rit.edu
- Matt WelshGoogleE-mailová adresa ověřena na: mdw.la
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityE-mailová adresa ověřena na: drexel.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupE-mailová adresa ověřena na: bc.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Ryan WisneskyConexus AIE-mailová adresa ověřena na: wisnesky.net
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atE-mailová adresa ověřena na: utdallas.edu
- Ryan NewtonMIT, Indiana University, FacebookE-mailová adresa ověřena na: indiana.edu
- Stephen McCamantAssociate Professor, University of MinnesotaE-mailová adresa ověřena na: cs.umn.edu
Sledovat
Greg Morrisett
Dean and Professor, Cornell University
E-mailová adresa ověřena na: cornell.edu - Domovská stránka