Below is a list of all the courses that I have taught. I have
taught a variety of calculus courses, such as first semester courses
focusing on continuity and differentiation, second semester courses
focusing on integration techniques and applications, and third
semester courses focusing on multivariable and vector
calculus. I have also taught a wide range of courses in
mathematical logic, from introductory courses, to advanced
undergraduate courses, to graduate courses. I have also
supervised many student projects in mathematical logic, at both
undergraduate and graduate levels.
I am the program manager for the MMath and the MSc in Mathematics
courses in the School of Mathematics at the University of Leeds.
Teaching at the University of Leeds
Spring 2026
MATH 3104: Proof and Computation – lecturer
MATH 5104M: Advanced Proof and Computation – lecturer
Fall 2025
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Summer 2025
MATH 5000M: Dissertation in Mathematics – project supervisor
Spring 2025
MAGIC 107: Computability Theory and Algorithmic Randomness –
lecturer
Fall 2024
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 3033: Graph Theory – lecturer
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Summer 2024
MATH 5000M: Dissertation in Mathematics – project supervisor
Fall 2023
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 3033: Graph Theory – lecturer
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Summer 2023
MATH 5000M: Dissertation in Mathematics – project supervisor
Spring 2023
MAGIC 107: Computability Theory and Applications – lecturer
Fall 2022
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 3033: Graph Theory – lecturer
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Spring 2022
MAGIC 107: Computability Theory and Applications – lecturer
Fall 2021
MATH 0111: Elementary Differential Calculus – lecturer
MATH 3001: Project in Mathematics – project supervisor
(year-long)
Spring 2021
MATH 3104: Proof and Computation – co-lecturer
MATH 5104M: Advanced Proof and Computation – co-lecturer
MAGIC 107: Computability Theory and Applications – lecturer
Fall 2020
MATH 0111: Elementary Differential Calculus – lecturer
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Spring 2020
MATH 3104: Proof and Computation – lecturer
MATH 5104M: Advanced Proof and Computation – lecturer
Fall 2019
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Summer 2019
MATH 5000M: Dissertation in Mathematics – project supervisor
Spring 2019
MATH 3104: Proof and Computation – lecturer
MATH 5104M: Advanced Proof and Computation – lecturer
Fall 2018
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 3033: Graph Theory – co-lecturer
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Summer 2018
MATH 5000M: Dissertation in Mathematics – project supervisor
Spring 2018
MATH 3104: Proof and Computation – lecturer
MATH 5104M: Advanced Proof and Computation – lecturer
Fall 2017
MATH 3001: Project in Mathematics – project supervisor
(year-long)
MATH 5003M: Assignment in Mathematics – project supervisor
(year-long)
MATH 5004M: Assignment in Mathematics – project supervisor
(year-long)
Spring 2017
MATH 3104: Proof and Computation – lecturer
MATH 5104M: Advanced Proof and Computation – lecturer
Teaching at Universiteit Gent
Spring 2016 Wiskundige Logica II (Mathematical Logic II) – instructor
Spring 2015 Wiskundige Logica II (Mathematical Logic II) – co-instructor
Spring 2014 Wiskundige Logica II (Mathematical Logic II) – co-instructor
Teaching at Appalachian State University
Spring 2012
MAT 1110: Calculus with Analytic
Geometry I – instructor
Fall 2011 MAT 1025: Algebra and
Elementary Functions – instructor
MAT 1110: Calculus with Analytic
Geometry I – instructor
Teaching at Cornell University
Summer 2011
Math 1920: Multivariable Calculus
for Engineers – instructor
Spring 2011 Math 3040: Prove
It! – teaching assistant
Fall 2010
Math 4810/Phil 4310: Mathematical
Logic – teaching assistant
Spring 2010
Math 6180: Logic –
teaching assistant
Fall 2009
Math 1120: Calculus II –
instructor and czar's assistant
Spring 2009
Math 6810: Logic –
teaching assistant
Fall 2008
Math 1910: Calculus for Engineers
– instructor and czar's assistant
Summer 2008
REU: Games, Logic, and Linear
Orders – graduate student mentor
Spring 2008
Phil 331/Math 281: Deductive
Logic – teaching assistant
Math 486/CS 486: Applied Logic
– teaching assistant
Math 681: Logic – teaching
assistant
Fall 2007
Math 191: Calculus for Engineers
– head teaching assistant
Spring 2007
Math 481/Phil 431: Mathematical
Logic – teaching assistant
Fall 2006
Math 191: Calculus for Engineers
– head teaching assistant
Summer 2006
Math 191: Calculus for Engineers
– teaching assistant
Spring 2006
Math 304: Prove It! –
teaching assistant
Fall 2005
Math 192: Multivariable Calculus
for Engineers – teaching assistant
Spring 2003
Com S 312: Data Structures and
Functional Programming – academic assistant
Fall 2002
Com S 211: Computers and
Programming – academic assistant