Current and Future Courses

Spring 2024

  • Math 1232 Single-variable calculus II
  • Math 6720 Computable algebra
  • Math 8995 Dissertation research

Fall 2023

  • Math 1232 Single-variable calculus II
  • Math 6720 Computable mathematics
    Check blackboard for class information.
  • Math 6995 Graduate reading and research
  • Math 8995 Dissertation research
  • Math 4995 Undergraduate reading and research

Recent Courses

Spring 2023

Fall 2022

  • Math 1232 Single-variable calculus II
  • Math 3710 Introduction to mathematical logic
  • Math 6995 Graduate reading and research
  • Math 8995 Dissertation research

Fall 2021

  • Math 1231 Single-variable calculus I
  • Math 6720 Algorithmic complexity theory
  •  Math 6995 Graduate reading and research

Spring 2021

  • Math 1232 Single-variable calculus II
  • Math 6720 Algorithmic method and famous problems 
  • Math 6995 Graduate reading and research
  • Math 8995 Dissertation research

Fall 2020

On leave; at MSRI.

Spring 2020

  • Math 6720 Classical and computable model theory
  • Math 6995 Graduate reading and research
  • Math 8995 Dissertation research

Fall 2019

  • Math 1231 Single-variable calculus I
  • Math 6720: Computability theory
  • Math 6995 Graduate reading and research
  • Math 8995 Dissertation research

Spring 2019

Fall 2018

Spring 2018

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.
  • Intermediate Undegraduate: Multivariable calculus; Introduction to mathematical reasoning (including WID version),
  • Advanced Undegraduate:  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 (two-course sequence) for the University Honors Program; Set theory for the Summer Program for Women in Mathematics; Dean's Seminars for Freshmen: (1) Mathematical logic, language, and learning; (2) Is reasoning computable; (3) Mathematics of the infinite; (4) Turing machines, Chomsky languages, digital and quantum computing, (5) Language and logic
  • Graduate
    • Mathematical logic
    • Computational complexity for the Computational Sciences Master's Program
    • Graduate topics in logic:
      • Algorithmic method and famous problems
      • Algorithmic learning theory
      • Turing degrees
      • Axiomatic set theory
      • Classical and computable model theory
      • Computability theory
      • 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
      • Goedel incompleteness results
      • Ordinals, definability, and computability
      • Algorithmic methods
      • Algorithms and mathematics