- 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
- 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
- cpsc601.02: HoTT

- Research and Planning (secure website here)

- Editor of Mathematical Structures in Computer Science
- Organizer of Foundational Methods in Computer Science (
**FMCS**) in 1999 , 2003 , 2004, 2006 (with CMS meeting), 2010, and 2011 (after the CMS meeting), 2014. - Organizer of the Peripatetic Seminar at the University of
Calgary

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

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 (recent news)!