ROBIN COCKETT

Credentials

B.Sc. (1974) Warwick University, England

Ph.D. (1979) Leeds University, England

Present Position

Professor, Department of Computer Science

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), 2010, and this year 2011 (after the CMS meeting).
  
• 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.

• 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.
• Estonia Winter School (2010) Palmse, Lahemaa, Estonia: Categories and Computability, lectures 1, 2, 3, and 4.
  

Teaching:

• cpsc411 : Compiler construction I
• cpsc417 : Foundations of functional programming
• cpsc510: Compiler construction II (second semester)
• cpsc521: Foundations of functional programming (new version)
  
• cpsc617: Category theory for computer science
• cpsc613: Program transformation
• cpsc700.04: Topics in proof theory