Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
- John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerified email at quantinuum.com
- Michael MisloveTulane UniversityVerified email at tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeVerified email at cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
- Radha PoovendranProfessor of ECE, University of WashingtonVerified email at uw.edu
- Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerified email at ru.nl
- Trajce DimkovPhD Researcher, University of TwenteVerified email at utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Verified email at intel.com
- John LaunchburyChief Scientist, GaloisVerified email at galois.com
- Bertfried FauserKonstanz Germany