Robin Cockett
Professor

• Curriculum Vitae

Research Interests
Distributive categories, restriction categories, linearly distributive categories, differential categories; Categorical proof theory, semantics of computation, semantics of concurrency; categorical programming, quantum programming.

Contact Details
Office: ICT 652
Office phone: (403) 210-8483
Email:

Department of Computer Science
University of Calgary
2500 University Drive NW
Calgary, Alberta
Canada T2N 1N4