IQST | Robin Cockett

Robin Cockett

Professor

Department of Computer Science

Office: ICT 652

Phone: (403) 210-8483

Email:

Research Interests

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

Links & Resources

Curriculum Vitae