Pitts, Andrew
Edit Page
Report
Scan day: 09 February 2014 UTC
24
Virus safety - good
Description: University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
Computer Laboratory - Andrew Pitts Professor of Theoretical Computer Science I am interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two). My research makes use of techniques from mathematical logic, type theory and category theory to advance the foundations of programming language semantics. The aim is to develop mathematical models and methods which aid language design and the development of formal logics for specifying and reasoning about programs, with an emphasis on higher order, typed programming languages, such as ML and Haskell. I have a long-standing interest in the semantics and logic of names, locality and binding.
Size: 705 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Computer Laboratory - Andrew Pitts |
| Keywords: | |
| Description: | |
| IP-address: | 128.232.0.20 |