Richard Blute's Home Page
Facts about me:
- I am a professor in the
Department of Mathematics and Statistics of the
University of Ottawa.
- Until recently, I was 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
Theory Research Centre in Montreal.
- I am an occasional visitor to the Quantum Group at the
Oxford University Computing Lab and the
Laboratoire Preuves, Programmes et Systemes (PPS).
- I was also a trustee of the
CAUT Defence Fund
- I am an editor for the electronic
journal Theory and Applications of
Categories (TAC) and the print journal
Mathematical Structures in Computer Science (MSCS).
- I am a lifelong citizen of
Red Sox Nation
and New England Patriots fan.
is my favorite musician, but I also like
- I especially like what is frequently called free jazz or
is a great website for reviews of new releases.
Some of my favorite musicians who are frequently
discussed there are
Evan Parker, Anthony Braxton, Marilyn Crispell and Mats Gustaffson.
- I am a member of the Board Of Directors for
The Community Addiction Peer Support
The Ottawa Logic And Foundations Of Computing Group is hosting
The 28th Foundational Methods in Computer Science Workshop.
The website can
be found here.
Until recently, I regularly taught the course MATH 1300. I
leave my website up as a
My primary research areas are:
- 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
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
In May, 2013, I spoke at the Annual Meeting of the
Symbolic Logic. Here are the
I spoke at the Logic And Interactions Workshop at Luminy on Homological
Algebra and Differential Linear Logic. Here are the
I spoke at four conferences in 2011. The first three talks were
about differential structure in the category
vector spaces. This was joint work with Thomas Ehrhard and
Since the emphasis was different in all 3, I include
the slides of each:
More recently, I spoke about Von Neumann Categories at the conference
Category Theory 2011.
joint work with Marc Comeau, one of my graduate students.
Here are the slides.
In Summer 2009, I spoke at the conference
Quanta, Concepts (CQC) at the Perimeter Institute.
the talk can be seen here.
Here is a list of my publications,
together with some links.
I am currently accepting graduate students.
Here are some ideas for possible projects a grad student could work
For any questions or comments contact rblute at uottawa dot ca.