F2023 - CPSC 411 - Compiler Construction | ||||||||||
| ||||||||||
W2024 - CPSC 521 - Foundations of Functional Programming | ||||||||||
| ||||||||||
W2024 - CPSC 617 - Category Theory For Cpsc | ||||||||||
|
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)