Gordon Plotkin
Professor
Coputer science
The University of Edinburgh
United Kingdom
Biography
Gordon Plotkin Position Professor
Research Interest
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.
Publications
-
On the Axiomatizability of Quantitative Algebras
-
Mixed powerdomains for probability and nondeterminism
