Personal tools
You are here: Home People Academics John Longley

John Longley

Position: Lecturer
Role: Member
E-mail: jrl@inf (add .ed.ac.uk for real email)
Office(s): IF-5.12
Phone(s): (+44 131 6)505140
Research Interests: Higher type computability, semantics of programming languages, program verification.
Homepage: http://www.dcs.ed.ac.uk/~jrl/
Document Actions