Skapa en profil
Offentlig åtkomst
Visa alla11 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Nick BentonEngineering Manager, FacebookVerifierad e-postadress på fb.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Jana DunfieldQueen's UniversityVerifierad e-postadress på queensu.ca
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Peter SewellComputer Laboratory, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Aaron TuronMPI-SWSVerifierad e-postadress på mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteVerifierad e-postadress på imdea.org
- Christopher PulteUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Beta ZilianiFAMAF, UNC and Manas.TechVerifierad e-postadress på mpi-sws.org
- Ryan NewtonMIT, Indiana University, FacebookVerifierad e-postadress på indiana.edu
- Shaked FlurCambridge UniversityVerifierad e-postadress på cl.cam.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Robert NortonUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Alastair ReidSenior Principal EngineerVerifierad e-postadress på intel.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerifierad e-postadress på itu.dk
- Lindsey KuperUniversity of California, Santa CruzVerifierad e-postadress på ucsc.edu
- Jan HoffmannCarnegie Mellon UniversityVerifierad e-postadress på cmu.edu