Gordon Plotkin
Position
Professor
Roles
Associate Member of Institute for Communicating and Collaborative Systems
Member of Informatics Life-Sciences Institute
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
<gdp@inf.ed.ac.uk>
Office,Telephone
JCMB-2620, +44 (0) 131 650 5158
IF-3.47
Informatics Research Reports
Personal Page


Home : People 

Please contact support with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh