• Linear logic, most recently differential linear logic
• Categorical Logic and proof theory
• Category theory, especially monoidal categories
• Applications of category theory to physics

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.

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

• 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.

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

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