John Longley
Member of Laboratory for Foundations of Computer Science
Institute Representative (LFCS) of Board of Studies
Personal Tutor (Research Students) of Informatics PGR Students
Personal Tutor - 50% load of Informatics UG/MSC Students
Project supervision - 50% load of Honours Project
Project supervision - 50% load of MSc Dissertation
Research Interests
Higher type computability, semantics of programming languages, program verification.
Email Address
IF-4.11, +44 (0) 131 650 5140
Publications - Edinburgh Research Explorer
Personal Page

Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh