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, extensive categories, linearly
distributive categories;
-
Restriction categories, Turing categories, differential
categories, tangent categories;
- Categorical proof theory, semantics of computation, semantics
of concurrency;
-
Categorical programming, quantum programming, differential
programming.
Research:
Some recent talks:
Teaching:
- cpsc449: Programming
language paradigms
- 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
- cpsc601.02: HoTT
- cpsc601.03: Categories in Physics
- cpsc601.09:
Readings in Topos Theory
Service:
Statement:
I am a concerned
Scientist.
I do not believe that
economic growth is more important than sustaining our global
environment.
I do believe that
Alberta's continued development of the tar sands is deeply and
morally wrong.
I am deeply concerned about the lack of Scientific oversight
in the governance of Alberta ... and Canada.
Other:
The National Energy Board (NEB) gives the Northern Gateway a
conditional go ahead ... BUT what were those probability
calculations?
For doubters: has global warming just stopped? Well maybe not
quite yet! Watch this (old
news) and then this
(more recent news)!
Greta Thunberg on the climate emergency "How dare you!" (here).
Adrian Tadic's cartoon of humanity's future (here)