Robin Cockett
Professor
Department of Computer Science
PhD
Leeds University, 2000
BSc
Warwick University, 2000
Contact information
Location
Office
: ICT652
Courses
- CPSC 449 - Programming Paradigms
- CPSC 617 - Category Theory For Cpsc
- CPSC 521 - Foundations of Functional Programming
Research and teaching
Research areas
- Distributive categories
- Restriction categories
- Linearly distributive categories
- Differential categories
- Categorical proof theory
- Semantics of computation
- Semantics of concurrency
- Categorical programming
- Quantum programming