Robin Cockett

Other Roles and Positions

• 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.

Links & Resources

• Curriculum Vitae