home |
research |
teaching |
links |
Leeds–Ghent Virtual Logic
Seminar |

MATH 3001: Project in Mathematics – project supervisor (year-long)

Spring 2021

MATH 3104:

MATH 5104M:

MAGIC 107:

Fall 2020

MATH 0111:

MATH 3001:

MATH 5004M:

MATH 1026:

MATH 3104:

MATH 5104M:

COMP 1421:

MATH 3001:

MATH 5004M:

MATH 5000M:

MATH 3104:

MATH 5104M:

MATH 1025:

MATH 3001:

MATH 3033:

MATH 5004M:

MATH 5000M:

MATH 3104:

MATH 5104M:

MATH 1025:

MATH 3001:

MATH 5003M:

MATH 5004M:

MATH 1026:

MATH 3104:

MATH 5104M:

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