University of Calgary

Robin Cockett

  • Professor

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.