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