| Position: | Professor |
| Role: | Member |
| E-mail: | gdp@inf (add .ed.ac.uk for real email) |
| Office(s): | IF-4.32 |
| 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.
An error occured whilst processing this directive