Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen13 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Conor McBrideReader, University of StrathclydeBestätigte E-Mail-Adresse bei strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsBestätigte E-Mail-Adresse bei st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsBestätigte E-Mail-Adresse bei cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordBestätigte E-Mail-Adresse bei cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghBestätigte E-Mail-Adresse bei inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghBestätigte E-Mail-Adresse bei inf.ed.ac.uk
- Healfdene GoguenGoogleBestätigte E-Mail-Adresse bei google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityBestätigte E-Mail-Adresse bei st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamBestätigte E-Mail-Adresse bei cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalBestätigte E-Mail-Adresse bei csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeBestätigte E-Mail-Adresse bei strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghBestätigte E-Mail-Adresse bei ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenBestätigte E-Mail-Adresse bei cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaBestätigte E-Mail-Adresse bei unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityBestätigte E-Mail-Adresse bei pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghBestätigte E-Mail-Adresse bei ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesBestätigte E-Mail-Adresse bei amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurBestätigte E-Mail-Adresse bei inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHBestätigte E-Mail-Adresse bei kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureBestätigte E-Mail-Adresse bei di.ens.fr