Robin Cockett

Positions

Professor

Faculty of Science, Department of Computer Science

Contact information

robin@ucalgary.ca

Web presence

Website

Phone number

Office: +1 (403) 220-5106

Location

Office: ICT652

Background

Educational Background

B.A. Mathematics, University of Warwick, 1974

Doctor of Philosophy Mathematics, University of Leeds, 1979

Research

Areas of Research

Distributive categories, Restriction categories, Linearly distributive categories, Differential categories, Categorical proof theory, Semantics of computation, Semantics of concurrency, Categorical programming, Quantum programming

Courses

Course number	Course title	Semester
CPSC 449	Programming Paradigms	Fall
CPSC 521	Foundations of Functional Programming	Winter
CPSC 617	Category Theory For Cpsc	Winter

Awards

Visiting professor, MacQuarie University. 2019
Distinguished Visiting Researcher, The Scottish Informatics & Computer Science Alliance, SICSA. 2018
Chercheur invite de le centre national de la recherche scientifique, 2013
Volunteer Calgary: 2011 Volunteer Family Award, 2011
Lake Louise to Banff Loppet, 2008
Family Award, 2005
Visiting Professor in Computing, 2005

Publications

Conference proceedings

The Category CNOT. Priyaa Srinivasan; Cole R Comfort; James Robin Bernard Cockett. Open Publishing Association. 258-293. (2018)
Integral Categories and Calculus Categories. Jean-Simon Lemay; Robin Cockett. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 20:1--20:17. (2017)
Cartesian Integral Categories and Contextual Integral Categories. James Robin Bernard Cockett; Jean-Simon Lemay. Elsevier BV. 45--72. (2018)
Quantum Channels for Mixed Unitary Categories. Priyaa Srinivasan; James Robin Bernard Cockett. Open Publishing Association. 1-23. (2019)
The Shuffle Quasimonad and Modules with Differentiation and Integration. James Robin Bernard Cockett; Jean-Simon Lemay; Richard Blute; Marc Bagnol. Elsevier BV. 29--45. (2016)
Finiteness Spaces and Generalized Power Series. Richard Blute; Pierre-Alain Jacqmin; Philip Scott; James Robin Bernard Cockett. Elsevier {BV}. 5--22. (2018)
The Category TOF. Cole Comfort; James Robin Bernard Cockett. Open Publishing Association. 67--84. (2018)
There Is Only One Notion of Differentiation. Jean-Simon Lemay; James Robin Bernard Cockett. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 13:1--13:21. (2017)