Current Courses

Spring 2017

Recent Courses

Fall 2016

Courses Taught at GW

  • Introductory Undergraduate: College algebra; General mathematics; Mathematical ideas; Mathematics and Politics; Precalculus; Calculus with precalculus; Calculus for the social and management sciences; Finite mathematics for the social and management sciences; Single variable calculus I; Single variable calculus II; Multivariable calculus.
  • Advanced Undegraduate: Introduction to mathematical reasoning (including WID version), Introduction to mathematical logic; Introduction to automata theory (Statistics Department); Axiomatic set theory; Computability theory (including WID version); Computational complexity (including WID version); Topics in Mathematics. Classical and Quantum Computational Complexity
  • Special Undergraduate: Mathematical theory of languages, I–II for the University Honors Program; Set theory for the Summer Program for Women in Mathematics; Dean's Seminar for Freshmen: Mathematical logic, language, and learning; Dean's Seminar for Freshmen: Is reasoning computable?; Dean's Seminar for Freshmen: Mathematics of the infinite; Dean's Seminar for Freshmen: Turing machines, Chomsky languages, digital and quantum computing; Computational complexity for the Computational Sciences Master's Program
  • Graduate
    • Mathematical logic
    • Graduate Topics in Logic
      • Axiomatic Set Theory
      • Topics in Model Theory: Classical and Computable
      • Topics in computability theory and applications
      • Algorithmic learning theory
      • Topics in computations theory
      • Turing degrees
      • NP-completeness
      • Multi-valued logic
      • Independence results in set theory
      • Recursion theory: hierarchies, oracles and degrees
      • Models, algorithms, and applications
      • The forcing method
      • Computable structure theory
      • Frequency computations
      • Computable algebra
      • Gödel incompleteness
      • Computability theory and applications to structures
      • Ordinals, definability, and computability
      • Model theory and algorithmic model theory
      • Axiomatic set theory
      • Algorithmic methods
      • Algorithms and mathematics