News:

• No news at present: stay tuned!

Important Stuff:

• My macro package for the connectives of linear logic, llconnex.sty.
• My CV. (Updated 2008.04.10!)
• A statement of my research interests. (New 2007.11.15!)
• A statement of my teaching philosophy. (New 2007.11.15!)
• My thesis (Quillen model structures, ∗-autonomous categories and adherence spaces).
• A number of pre-prints: (Updated 2008.04.10!)
  • Star-autonomous functor categories.
  • A complete lattice admitting no comonoid structure.
  • The Frobenius relations meet linear distributivity.
  • Quillen model categories without equalisers or coequalisers.
  • The summary of a talk I gave at Nice.
  • An essay on affine linear distributive categories (in three versions, corresponding to three different sets of notation, created using llconnex.sty).
  • A draft paper on the linear distributive structure of my favourite star-autonomous category
  • A quick note on bisimulation theory, from an abstact homotopy-theoretic point of view.
  • A Cayley Theorem for compact closed categories.
  • The introduction and two appendices to one of several talks I gave at Dalhousie.
• Slides for my talk at CT'07.
• Slides for my talk at the Winter CMS Meeting in London, Ontario: 0, 1, 2, 3, 4, 5, 6, 7.

Old websites:

• Jan-Apr 2006: Course website for MATH2135 (Linear Algebra).
• Sep-Dec 2005: Course website for MATH2001 (Intermediate Calculus).
• March 2005: Old website at the University of Ottawa.

Some photos:

• Myself at age four.
• The gang at Ottawa (Room 311).
• Defense and graduation photos.
• Myself and a few friends at CT'95.