W2024 - CPSC 521 - Foundations of Functional Programming | ||||||||||
|
Distributive categories, restriction categories, linearly distributive categories, differential categories;
Categorical proof theory, semantics of computation, semantics of concurrency; categorical programming, quantum programming.
B.Sc., Warwick University (2000)
Ph.D., Leeds University (2000)