| McGill: | (Graduate) Advanced Real Analysis 1 [Math 564] |
| McGill: | Mathematical Logic [Math 318] |
| 2022 Fall: | (Graduate) Topics Course "Descriptive Set Theory" [Math 595: Topics in Analysis] |
| 2022 Fall: | Honours Analysis 1 [Math 254] |
| 2022 Wntr: | (Graduate) Topics Course "Ergodic theory and measured group theory" [Math 594/740] |
| 2022 Wntr: | Honours Complex Variables [Math 249] |
| 2021 Fall: | Mathematical Logic [Math 318] |
| 2021 Wntr: | Algebra 2 [Math 236] |
| 2020 Fall: | Mathematical Logic [Math 318] |
| 2023 Sprg: | Metric spaces and topology |
| 2021 Smr: | Finite state Markov chains |
| 2019 Fall: | (Graduate) Descriptive Set Theory [Math 574-DST] |
| 2019 Sprg: | (Graduate) Topics Course "Ctbl Borel equivalence relations" [Math 595] |
| 2019 Sprg: | Set Theory and Topology [Math 432] |
| 2018 Sprg: | (Graduate) Set Theory [Math 574-ST] |
| 2017 Fall: | (Graduate) Mathematical Logic [Math 570] |
| 2017 Fall: | Honors Fundamental Mathematics [Math 347H] |
| 2017 Sprg: | (Graduate) Real Analysis [Math 540] |
| 2017 Sprg: | Set Theory and Topology [Math 432] |
| 2016 Fall: | (Graduate) Model Theory [Math 571] |
| 2015 Fall: | (Graduate) Mathematical Logic [Math 570] |
| 2015 Fall: | Fundamental Mathematics [Math 347] |
| 2015 Sprg: | (Graduate) Topics Course "Classification in Ergodic Theory" [Math 595] |
| 2014 Fall: | (Graduate) Mathematical Logic [Math 570] |
| 2014 Fall: | Elementary Real Analysis [Math 444] |
| 2014 Sprg: | (Graduate) Descriptive Set Theory [Math 574-DST] |
| 2013 Fall: | Applied Linear Algebra [Math 415] |
| 2011 Fall: | Multivariable Calculus (Honors) [Math 32AH] |
| 2023, Aug 14–18: | Descriptive Set Theory and Dynamics, a workshop within the Simons Semester "STRUCTURES: set theory, model theory, logic and computer science", Banach Center, Warsaw, Poland |
| Course: TBA (3 lectures) | |
| 2022, Jul 25–28: | C*-dynamics and Set Theory School in Paris 2022, Paris, France |
| Course: Ergodic theorems and tilings (4 lectures) | |
| 2019, Jan 12–19: | The 47th Winter School in Abstract Analysis, Svratka, Czech Republic |
| Course: Countable Borel equivalence relations (3 lectures) | |
| 2017, May 5–11: | The 15th Annual Spring Institute: Noncommutative Geometry and Operator Algebras, Vanderbilt University, USA |
| Course: Countable Borel equivalence relations, ergodicity, and turbulence (3 lectures) | |
| 2016, Jun 6–10: | Undergraduate Summer School within Thematic Program on Model Theory, University of Notre Dame, USA |
| Course: Introduction to Model Theory Ⅱ (5 lectures) | |
| 2013, Jul 14–Aug 3: | UCLA Undergraduate Logic Summer School 2013, UCLA Logic Center |
| Course: Descriptive Set Theory (15 lectures and problem sessions) | |
| 2012, Jun 24–Jul 14: | UCLA Undergraduate Logic Summer School 2012, UCLA Logic Center |
| Course: First Order Logic and Gödel's Incompleteness Theorem (15 lectures and problem sessions) |