Get my own profile
Public access
View all20 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Healfdene GoguenGoogleVerified email at google.com
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurVerified email at inria.fr
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org