Current and Future Courses
Spring 2025
- Math 1232 Single-variable calculus II
- Math 6720 Computable structure theory
- Math 8995 Dissertation research
- Math 6995 Graduate reading and research
Fall 2024
- Math 3730 Computability theory
- Math 6101 Algebra I
- Math 8995 Dissertation research
- Math 6995 Graduate reading and research
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
- Math 1232 Single-variable calculus II
- Math 6720 Turing degrees and applications
- Math 6995Graduate reading and research
- Math 8995 Dissertation research
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 (SLMath).
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
- Math 1232 Single-variable calculus II
- Math 6720: Axiomatic set theory
- Math 8995 Dissertation research
Fall 2018
- Math 1000 Dean's Seminar: Language and Logic
- Math 3710 Introduction to mathematical logic
- Math 8995 Dissertation research
Spring 2018
- Math 1232 Single-variable calculus II
- Math 6720 Algorithmic learning theory
- Math 8995 Dissertation research
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.
- Regular 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