Crea il mio profilo
Accesso pubblico
Visualizza tutto15 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- John C MitchellProfessor of Computer Science, Stanford UniversityEmail verificata su Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryEmail verificata su nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUEmail verificata su cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail verificata su quantinuum.com
- Michael MisloveTulane UniversityEmail verificata su tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityEmail verificata su cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKEmail verificata su cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeEmail verificata su cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail verificata su nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleEmail verificata su uw.edu
- Samson AbramskyProfessor of Computer Science, UCLEmail verificata su ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenEmail verificata su ru.nl
- Trajce DimkovPhD Researcher, University of TwenteEmail verificata su utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Email verificata su intel.com
- John LaunchburyChief Scientist, GaloisEmail verificata su galois.com
- Bertfried FauserKonstanz Germany