Personal tools
You are here: Home People Academics Gordon Plotkin

Gordon Plotkin

Position: Professor
Role: Member
E-mail: gdp@inf (add 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.


Document Actions