ROBIN COCKETT

Credentials: B.Sc. (1974) Warwick University, England; Ph.D. (1979) Leeds University, England

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

Research:

The charity project:
The Foundational Methods in Computer Science (FMCS) the workshop in 1999 , 2003 , 2004, 2006 (with CMS meeting), and this year 2010.
Logic and Category Theory Seminars: the Calgary Peripatetic Research Group on Logic and Category theory
Linearly distributive categories work with Robert Seely and Rick Blute.
Linear bicategories with Robert Seely and Jurgen Koslowski
Restriction categories with Steve Lack
Some student theses here.
LQPL - Linear Quantum Programming Language compiler and emulator, available for download.

Some recent talks:

Mathematics of program construction (2006) Estonia: What is a good process semantics?
Association for Symbolic Logic (2006) Montreal: Programming with classical quantum datatypes.
Category theory and semigroups (2006) Calgary: Topological aspects of restriction categories.
Octoberfest Category theory meeting (2006) Ottawa: Seely categories revisited.
Fields Institute Meeting on Traces (2007) Ottawa: Itegories and PCAs.
FMCS (2007) Colgate and the Lisbon semigroup micro-workshop (2007): Turing Categories.
International Category Theory Meeting (2007) Carvoeiro, Portugal: Join restriction categories and the importance of being adhesive.
Ottawa-Fields Institute Meeting on Smooth Structures (2009) Ottawa: Cartesian differential categories.

Teaching: