- I am a professor in the
**Department of Mathematics and Statistics**of the**University of Ottawa**. - I am the Vice-Dean of
**Graduate Studies**for the**Faculty of Science**. - I am a member of the
**Ottawa Logic and Foundations of Computing Group**and the

**Category Theory Research Centre**in Montreal. - I am a frequent visitor to the
**Quantum Group at the Oxford University Computing Lab**and the**Laboratoire Preuves, Programmes et Systemes (PPS)**. - I am a trustee of the
**CAUT Defence Fund** - I am on the Executive Committee and Collective Bargaining Committee
of the

**Association of Professors of The University of Ottawa** - I am an editor for the electronic
journal
**Theory and Applications of Categories (TAC)** and the print journal
- I am a lifelong citizen of
**Red Sox Nation**and**New England Patriots**fan. -
**This**is my favorite musician, but I also like**these guys.** - I especially like what is frequently called
**free jazz**or**improvised music**.**This**is a great website for reviews of new releases.
Some of my favorite musicians who are frequently
discussed there are - Linear logic, most recently differential linear logic
- Categorical Logic and proof theory
- Category theory, especially monoidal categories
- Applications of category theory to physics
- I spoke at the final meeting of
**CHOCO.**Here are the**slides** - I spoke at the
**Union College Math Conference (my Alma Mater!).**Here are the**slides**. - I spoke at the
**Foundational Methods in Computer Science**conference. Here are the**slides**.

The course website for MATH 4157/5152 is

The course website for MATH 1300 is

In February 2015, I spoke at the **Fields Institute Workshop**
on Recent Developments in Quantum Groups, Operator Algebras and Applications.
The talk was on Hopf algebras and the Logic of Tensor Categories. It was an
expository talk on categorical logic and how Hopf algebras can be used to
model variants of noncommutative linear logic. Here are the
**slides**.

In Summer 2014, I spoke at the **Institut Henri Poincare** in the Workshop on Semantics of Proofs and Programs.
The talk was on Derivations In Codifferential Categories. It was joint work
with Rory Lucyshyn-Wright and Keith O'Neill. Here are the
**slides**.

In May, 2013, I spoke at the Annual Meeting of the
**Association of
Symbolic Logic**. Here are the
**slides**.

I spoke at the Logic And Interactions Workshop at Luminy on Homological
Algebra and Differential Linear Logic. Here are the
**slides**.

I spoke at four conferences in 2011. The first three talks were about differential structure in the category

of convenient vector spaces. This was joint work with Thomas Ehrhard and Christine Tasson.

Since the emphasis was different in all 3, I include the slides of each:

More recently, I spoke about

joint work with Marc Comeau, one of my graduate students. Here are the

In Summer 2009, I spoke at the conference

the talk can be seen

Here is a list of my **publications,**
together with some links.

I am currently accepting graduate students.

For any questions or comments contact rblute at uottawa dot ca.