Personal tools
You are here: Home People Academics Gordon Plotkin

Gordon Plotkin

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

 

Document Actions