Mijn eigen profiel maken
Openbare toegang
Alles bekijken13 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Conor McBrideReader, University of StrathclydeGeverifieerd e-mailadres voor strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsGeverifieerd e-mailadres voor st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsGeverifieerd e-mailadres voor cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- Healfdene GoguenGoogleGeverifieerd e-mailadres voor google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityGeverifieerd e-mailadres voor st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamGeverifieerd e-mailadres voor cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalGeverifieerd e-mailadres voor csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeGeverifieerd e-mailadres voor strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaGeverifieerd e-mailadres voor unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityGeverifieerd e-mailadres voor pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesGeverifieerd e-mailadres voor amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurGeverifieerd e-mailadres voor inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHGeverifieerd e-mailadres voor kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureGeverifieerd e-mailadres voor di.ens.fr