About me and about this page:


My research is in category theory, logic and related areas. Click on my research tab for a detailed explanation of my topics of interest, current projects and collaborations.


Under the teaching tab you will find a list of courses I am teaching now and have taught in the past, including links to the course homepages. Last Fall term, I taught MAT2362: Foundations of Mathematics. This Winter term, I don't teach.

For Students:

If you are an undergrad or (prospective) grad student then look under the students' tab for:


On this page you will find most of my papers in electronic form, as well as some other material (slides of talks, handouts, lecture notes).

Brief CV: