Teaching

Teaching at Penn State:

      Spring 2021: Math 557 - Mathematical Logic

      Fall 2020: Math 110 – Techniques of Calculus (PSU World Campus)

      Summer 2020: Math 110 – Techniques of Calculus (PSU World Campus)

      Spring 2020: Math 110 – Techniques of Calculus (PSU World Campus)

      Fall 2019: Math 110 – Techniques of Calculus (PSU World Campus)

      Spring 2018: Math 457 - Introduction to Mathematical Logic

      Fall 2017: Math 557 - Mathematical Logic

      Summer 2017: Math 140 – Calculus I (online)

      Fall 2016:
          Math 110 – Techniques of Calculus (PSU World Campus)
          Math 574 - Topics in Logic

      Summer 2016: Math 110 – Techniques of Calculus (PSU World Campus)

      Spring 2016: Math 559 - Recursion Theory

      Fall 2014: Math 110 – Techniques of Calculus (PSU World Campus)

      Summer 2014: Math 110 – Techniques of Calculus (PSU World Campus)

      Spring 2014: Math 110 – Techniques of Calculus (PSU World Campus)

      Spring 2014: Math 574 – Topics in Logic
          (Algorithmic Information Theory, Complexity, and Data Compression)

      Fall 2012: Math 558 - Foundations of Mathematics

      Fall 2012: Math 441 - Matrix Algebra

      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:

      Spring 2010: Math 136 - Incompleteness and Undecidability

      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
      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