Get my own profile
Public access
View all32 articles
2 articles
available
not available
Based on funding mandates
Co-authors
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Gavin BiermanOracleVerified email at oracle.com
Christine TassonProfessorVerified email at isae-supaero.fr
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Fahad AusafKing's College LondonVerified email at kcl.ac.uk
Laurence TrattSoftware Development Team, Informatics, King's College LondonVerified email at tratt.net
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Nick BentonEngineering Manager, FacebookVerified email at fb.com