Gordon Plotkin
Position
Professor
Roles
Member of Laboratory for Foundations of Computer Science
Research Interests
Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology.
Email Address
<G.Plotkin@ed.ac.uk>
Office
IF-4.24A/1
Telephone
+44 (0) 131 6505158
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: school-office@inf.ed.ac.uk
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