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? ... and where are our morals?
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).