Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Lennart BeringerVerified email at pm.me
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
Camillo FiorentiniUniversita degli Studi di MilanoVerified email at di.unimi.it
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'InsubriaVerified email at uninsubria.it
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Kathrin StarkAssistant Professor, Heriot-Watt UniversityVerified email at hw.ac.uk
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Aliya HameerMcGill UniversityVerified email at mail.mcgill.ca
David ThibodeauPhD graduate, McGill UniversityVerified email at mail.mcgill.ca
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk