**Research Interests:**

*Set Theory:* Iterated forcing, forcing axioms, infinitary combinatorics, cardinal characteristics of the continuum, set theoretic topology and set theory of the real line

*Computability Theory: *Set theoretic aspects of computability, forcing in computability theory, infinite generalizations of computability, cardinal characteristics in the context of computability theory

*Model Theory: *Non standard models of arithmetic and set theoretic aspects of such

*Philosophy of Mathematics and Logic:* Philosophy of Set Theory, proof theory of modal logics, applications of proof theory to philosophy of logic and mathematics

**Papers and Theses:**

*The Cichon Diagram for Degrees of Constructibility*(Submitted). Here is a preprint.*Iterating Generalized Proper Forcings with Side Conditions*, 2nd Year Masters’ thesis written under the supervision of Boban Velickovic for the program LMFI at Université de Paris VII*Grands Cardinaux, Modèles Intérieurs et un Problème de Woodin,*1st Year Masters’ thesis written under the supervision of Mirna Dzamonja for the program LoPhiSc at Université de Paris I

**Talks Given**

- Graduate Student Logic Conference, University of Wisconsin, Madison
- 4/22/18
*The Cichon Diagram for Degrees of Constructibility*

- 4/22/18
- Set Theory Seminar, The Graduate Center, CUNY
- 11/10/17
*A Cichon Diagram for Degrees of Constructibility,*This was my oral exam - 4/28/17, 5/12/17
*Iterating Proper and Semiproper Forcings with Side Conditions Parts I and II*

- 11/10/17
- Learning Seminar on the HOD Conjecture, Rutgers University
- 3/29/17
*The HOD Dichotomy, Part I*

- 3/29/17
- Models of Peano’s Arithmetic, The Graduate Center, CUNY
- 2/21/18, 2/28/18
*Forcing Over Arithmetic: Arboreal Forcings, Parts I and II* - 3/1/17, 3/8/17
*Recursively Saturated, Rather Classless Models in the Constructible Universe, Parts I and II*

- 2/21/18, 2/28/18

Advertisements