Home
 

Gordon Plotkin

Position:Professor
Role:Member
E-mail:gdp@inf (add .ed.ac.uk for real email)
Office(s):IF-3.47
Phone(s):(+44 131 6)505158
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.
Homepage:http://homepages.inf.ed.ac.uk/gdp

This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.