In Spring 2015 I taught MATH 565, Foundations of Mathematics II. This is an advanced graduate course. My course announcement and other course materials are available.
In Fall 2013 I taught MATH 557, Mathematical Logic. This is a beginning graduate-level course. My course announcement and other course materials are available.
In Spring 2013 I taught MATH 559, Recursion Theory I. This is an advanced graduate course. Some course materials are available.
In Spring 2012 I taught MATH 457, Introduction to Mathematical Logic. This is an advanced undergraduate course. A syllabus and some course materials are available.
In Fall 2011 I taught MATH 311W, Discrete Mathematics. Some course materials are available.
In Fall 2011 I taught MATH 140H, Honors Calculus I. Some course materials are available.
In Spring 2011 I taught MATH 457, Introduction to Mathematical Logic. This is an advanced undergraduate course. A syllabus and some course materials are available.
In Spring 2011 I taught MATH 220, Matrices. In addition I served as the course coordinator. This is a second-year undergraduate course. A syllabus and some course materials are available.
In Fall 2009 I taught MATH 558, Foundations of Mathematics I. This is a graduate course. Some course materials and lecture notes are available.
In Fall 2009 I taught MATH 485, Graph Theory. This is an advanced undergraduate course. Some course information and materials are available.
In Spring 2009 I taught MATH 597C, Mass Problems. This was an advanced graduate topics course in mathematical logic. Some course information and materials are available.
In Spring 2009 I taught MATH 312, Real Analysis. This is an intermediate-level undergraduate course. Some course information and materials are available.
In Fall 2007 I taught MATH 497A, Computability, Unsolvability, Randomness. This course was part of MASS, our special program for high-achieving undergraduate mathematics majors. My course materials are available.
In Spring 2007 I taught MATH 597B, Computability and Randomness. This was an advanced topics course. My course materials are available.
In Spring 2007 I taught MATH 558, Foundations of Mathematics I. This was a graduate course. My course materials and lecture notes are available.
In Fall 2005 I taught MATH 557, Mathematical Logic. This is a graduate course. My course announcement and lecture notes and other course materials are available.
In Spring 2005 I taught MATH 574, Topics in Logic and Foundations. This is an advanced graduate course. Some course information and materials are available.
In Spring 2005 I taught MATH 457, Introduction to Mathematical Logic. This is an advanced undergraduate course. Some course materials are available.
In Fall 2004 I taught MATH 564, Model Theory II. This is an advanced graduate course. Some course materials are available.
In Spring 2004 I taught MATH 574, Topics in Logic and Foundations. This is an advanced graduate course. Some course information and materials are available.
In Spring 2002 I taught MATH 597D, Topics in Mathematical Logic. This is an advanced graduate course. Some course materials are available.
I sometimes teach MATH 565, Foundations of Mathematics II. This is an advanced graduate course on Subsystems of Second Order Arithmetic and Reverse Mathematics. A course announcement is available.
I sometimes teach MATH 563, Model Theory I. This is a graduate course. My course announcement and lecture notes are available.
I sometimes teach MATH 561, Set Theory I. This is an introductory set theory course. Some course materials are available.
I sometimes teach MATH 459, Computability and Unsolvability. This is an advanced undergraduate course. Some course information and materials are available.
I sometimes teach MATH 230, Calculus and Vector Analysis. This is an undergraduate course. A syllabus is available.
In Spring 2002 I taught MATH 141H, Honors Calculus II. This is an undergraduate course. Some course materials are available.
My teaching statement is available: DVI, PDF, PS, HTML.
t20@psu.edu / 21 January 2015