University of Calgary
Robin Cockett
- Professor
Currently Teaching
| F2023 - CPSC 411 - Compiler Construction | ||||||||||
| ||||||||||
| W2024 - CPSC 521 - Foundations of Functional Programming | ||||||||||
| ||||||||||
| W2024 - CPSC 617 - Category Theory For Cpsc | ||||||||||
| ||||||||||
Areas of Interest
Distributive categories, restriction categories, linearly distributive categories, differential categories;
Categorical proof theory, semantics of computation, semantics of concurrency; categorical programming, quantum programming.
Credentials
B.Sc., Warwick University (2000)
Ph.D., Leeds University (2000)
Powered by UNITIS. More features.