Crea el meu perfil
Accés públic
Mostra-ho tot15 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- John C MitchellProfessor of Computer Science, Stanford UniversityCorreu electrònic verificat a Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryCorreu electrònic verificat a nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUCorreu electrònic verificat a cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteCorreu electrònic verificat a quantinuum.com
- Michael MisloveTulane UniversityCorreu electrònic verificat a tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityCorreu electrònic verificat a cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKCorreu electrònic verificat a cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryCorreu electrònic verificat a nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleCorreu electrònic verificat a uw.edu
- Samson AbramskyProfessor of Computer Science, UCLCorreu electrònic verificat a ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenCorreu electrònic verificat a ru.nl
- Trajce DimkovPhD Researcher, University of TwenteCorreu electrònic verificat a utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Correu electrònic verificat a intel.com
- John LaunchburyChief Scientist, GaloisCorreu electrònic verificat a galois.com
- Bertfried FauserKonstanz Germany
Segueix
dusko pavlovic
Professor at University of Hawaii
Correu electrònic verificat a hawaii.edu - Pàgina d'inici