Teaching at Penn State:

      Spring 2012: Math 561 - Set Theory

      Fall 2011: Math 497A MASS - Introduction to Ramsey Theory

      Spring 2011: Math 574 - Topics in Logic and Foundations

      Fall 2010: Math 435 - Basic Abstract Algebra

Teaching at University of California, Berkeley:

      Fall 2009: Math 125A - Mathematical Logic
      Fall 2009: Math 227A - Theory of Recursive Functions

      Spring 2009: Math 225 - Metamathematics

      Fall 2008: Math 104 - Introduction to Analysis
      Fall 2008: Math 125A - Mathematical Logic

      Spring 2008: Math 104 - Introduction to Analysis

      Fall 2007: Math 104 - Introduction to Analysis
      Fall 2007: Math 110 - Linear Algebra

      Spring 2007: Math 185 - Introduction to Complex Analysis

      Fall 2006: Math 104 - Introduction to Analysis


Teaching at University of Heidelberg, Germany:

      Winter 2005/06: Seminar Set Theory

      Summer 2005: Seminar Mathematical Logic
      Summer 2005: Descriptive Set Theory

      Winter 2004/05: Seminar Logic and Set Theory

      Summer 2004: Set Theory
      Summer 2004: Seminar Logic and Model Theory

      Winter 2003/04: Mathematical Logic
      Winter 2003/04: Seminar Theoretical Computer Science

      Summer 2003: Foundations of Mathematics
      Summer 2003: Seminar Linear Algebra

      Winter 2002/03: Linear Algebra 2

      Summer 2002: Linear Algebra 1