home
research
teaching
links

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 and acted as a teaching assistant for a wide range of courses in mathematical logic, from introductory courses cross-listed with philosophy, to advanced undergraduate courses cross-listed with computer science, to graduate courses.  I was also the graduate student mentor for the REU project Games, Logic, and Linear Orders run by Franηois G. Dorais at Cornell University during Summer 2008.


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