My research lies at the intersection of descriptive set theory and inner model theory.
Papers
The External Ultrapower of HOD via W^1_1 (in preparation)
Indiscernibles for L[T_3,x] (with Steve Jackson) (in preparation)
Research Notes(May Contain Typos)
Indiscernibles for L[T_2,x]-develops a theory of indiscernibles for models of the form L[T_2,x] and uses it to prove the weak partition property on \delta^1_3
Structure of Extenders-proves some straightforward facts about what the generators of an extender have to be in order for that extender to witness strength. Ends with two interesting questions.
Slides
The External Ultrapower of HOD via W^1_1 (Presented at the 2016 AMS Sectional in Salt Lake City)