Crea il mio profilo
Accesso pubblico
Visualizza tutto13 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Conor McBrideReader, University of StrathclydeEmail verificata su strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsEmail verificata su cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordEmail verificata su cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghEmail verificata su inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghEmail verificata su inf.ed.ac.uk
- Healfdene GoguenGoogleEmail verificata su google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityEmail verificata su st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamEmail verificata su cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalEmail verificata su csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeEmail verificata su strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaEmail verificata su unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail verificata su pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghEmail verificata su ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesEmail verificata su amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurEmail verificata su inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHEmail verificata su kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureEmail verificata su di.ens.fr