Foundations of mathematics; mathematical logic and set theory; their interactions with analysis, dynamical systems and combinatorics . Recent projects include the study of foundational and set theoretic questions, and the application of the methodology and results of descriptive set theory, in classical real analysis, harmonic analysis, dynamical systems (especially ergodic theory and topological dynamics), model theory, and combinatorics.
2022-2023 Fall: Ma 117a, Computability theory Spring: Ma/CS 6c, Introduction to Discrete Mathematics
Logic in Southern California 2014-15: March 7, 2015