Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Conor McBrideReader, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsVerifierad e-postadress på st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsVerifierad e-postadress på cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- Healfdene GoguenGoogleVerifierad e-postadress på google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerifierad e-postadress på st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerifierad e-postadress på cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalVerifierad e-postadress på csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaVerifierad e-postadress på unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerifierad e-postadress på amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurVerifierad e-postadress på inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureVerifierad e-postadress på di.ens.fr