- Math 3159B/9145B: Introduction to Cryptography [website]

Winter 2017 at the University of Western Ontario. - Calc 1301B: Calculus 2 (Section 007) [website] [evaluations]

Winter 2016 at the University of Western Ontario. - Math 9501A: Categorical logic [website] [evaluations]

Fall 2015 at the University of Western Ontario. - Calc 1301B: Calculus 2 (Section 006) [website] [evaluations]

Winter 2015 at the University of Western Ontario. - Calc 1000A: Calculus 1 (Section 002) [website] [evaluations]

Fall 2014 at the University of Western Ontario. - Math 220: Calculus 1 [website] [evaluations]

Summer 2011 at the University of Pittsburgh.

- Math 220: Calculus 1 [evaluations]

Summer 2014 at the University of Pittsburgh. - Math 120: Business Calculus [evaluations]

Summer 2014 at the University of Pittsburgh. - Math 220: Calculus 1 (three sections) [evaluations]

Fall 2010 at the University of Pittsburgh.

- Math 9510Y: Higher Category Theory Reading Seminar [website]

Academic Year 2016-17 at the University of Western Ontario. - Math 9602A: Elliptic Curves (graduate-level reading course)

Fall 2016 at the University of Western Ontario. - Math 9511A: Category Theory and Categorical Logic (graduate-level reading course)

Fall 2016 at the University of Western Ontario. - Reading Seminar on Homotopy Type Theory [website]

Winter and Spring 2016 at the University of Western Ontario. - Math 9145B: Cryptography (graduate-level reading course)

Winter 2016 at the University of Western Ontario.

- James Richardson, Ph.D. Supervisory Committee member

Winter 2017 - ?, University of Western Ontario. - Luis Scoccola, Ph.D. Supervisory Committee member

Fall 2016 - ?, University of Western Ontario. - Timothy Pollock, M.Sc. Supervisory Committee member (j/w T. Barron)

Academic Year 2016-17 at the University of Western Ontario. - Mitchell Riley, research project on Homotopy Type Theory

Summer 2016 at the University of Western Ontario. - Mitchell Riley, M.Sc. Supervisory Committee member (j/w D. Christensen)

Academic Year 2015-16 at the University of Western Ontario. - Shiyamalen Thavandiran, M.Sc. Supervisory Committee member (j/w D. Christensen)

Academic Year 2015-16 at the University of Western Ontario. - Daniel Satanove, USRA project on Homotopy Type Theory (j/w D. Christensen)

Summer 2015 at the University of Western Ontario.

- In December 2016, I participated in the video project ``Mean Tweets: Prof Edition'' by The Current (the official magazine of Western Science Students' Council).
- In Fall 2015, I was a Faculty Mentor at the Discovery Cafe.
- I gave a talk in UWO Undergraduate Math Pizza Seminar,
*Stable marriage problem*, October 6th, 2015. [website] [Facebook] - My Rate my Professors profile.

Updated by Chris Kapulkin, December 16th, 2016.