Skapa en profil
Offentlig åtkomst
Visa alla15 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- John C MitchellProfessor of Computer Science, Stanford UniversityVerifierad e-postadress på Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerifierad e-postadress på nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerifierad e-postadress på cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerifierad e-postadress på quantinuum.com
- Michael MisloveTulane UniversityVerifierad e-postadress på tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerifierad e-postadress på cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerifierad e-postadress på nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleVerifierad e-postadress på uw.edu
- Samson AbramskyProfessor of Computer Science, UCLVerifierad e-postadress på ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerifierad e-postadress på ru.nl
- Trajce DimkovPhD Researcher, University of TwenteVerifierad e-postadress på utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Verifierad e-postadress på intel.com
- John LaunchburyChief Scientist, GaloisVerifierad e-postadress på galois.com
- Bertfried FauserKonstanz Germany