home
research
teaching
links
Leeds–Ghent Virtual Logic Seminar

Paul's Teaching

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.


Teaching at the University of Leeds

Fall 2021
MATH 0111: Elementary Differential Calculus – instructor
MATH 3001: Project in Mathematics – project supervisor (year-long)

Spring 2021

MATH 3104: Proof and Computation – co-instructor
MATH 5104M: Advanced Proof and Computation – co-instructor
MAGIC 107: Computability Theory and Applications – instructor

Fall 2020

MATH 0111: Elementary Differential Calculus – instructor
MATH 3001: Project in Mathematics – project supervisor (year-long)
MATH 5004M: Assignment in Mathematics – project supervisor (year-long)

Spring 2020
MATH 1026: Sets, Sequences and Series – tutor (like a teaching assistant)
MATH 3104: Proof and Computation – instructor
MATH 5104M: Advanced Proof and Computation – instructor

Fall 2019
COMP 1421: Fundamental Mathematical Concepts – tutor (like a teaching assistant)
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 – instructor
MATH 5104M: Advanced Proof and Computation – instructor

Fall 2018
MATH 1025: Number Systems – tutor (like a teaching assistant)
MATH 3001: Project in Mathematics – project supervisor (year-long)
MATH 3033: Graph Theory – co-instructor
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 – instructor
MATH 5104M: Advanced Proof and Computation – instructor

Fall 2017
MATH 1025: Number Systems – tutor (like a teaching assistant)
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 1026: Sets, Sequences and Series – tutor (like a teaching assistant)
MATH 3104: Proof and Computation – instructor
MATH 5104M: Advanced Proof and Computation – instructor


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