Home    People    Research    Publications    Presentations    Annual Report   

Robin
Robin Cockett
Professor

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



For comments regarding this website, please contact
Last updated Nov 25, 2018