Skapa en profil
Medförfattare
- Francesco Zappa NardelliFacebookVerifierad e-postadress på fb.com
- Lee PikeAWS Automated ReasoningVerifierad e-postadress på amazon.com
- Alwyn GoodloeResearch Computer Engineer, NASAVerifierad e-postadress på nasa.gov
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Soham Sundar ChakrabortyTU DelftVerifierad e-postadress på tudelft.nl
- Benoit MontaguInriaVerifierad e-postadress på inria.fr
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Gregory MalechaBedRock Systems, IncVerifierad e-postadress på bedrocksystems.com
- Andre DeHonUniversity of PennsylvaniaVerifierad e-postadress på acm.org
- Greg MorrisettDean and Professor, Cornell UniversityVerifierad e-postadress på cornell.edu
- Greg SullivanDover MicrosystemsVerifierad e-postadress på sulliwood.org
- Olin ShiversNortheastern UniversityVerifierad e-postadress på ccs.neu.edu
- Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Florian BourseProfesseur agrégéVerifierad e-postadress på ens.fr
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Verifierad e-postadress på ens.fr
- Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.Verifierad e-postadress på a3nm.net