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
- Math 1232 Single-variable calculus II
- Math 6720: Axiomatic
set theory
- Math 8995 Dissertation research
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