My research is primarily in logic and the foundations of mathematics. My dissertation received the 2020 Sacks Prize from the Association for Symbolic Logic for the most outstanding dissertation in mathematical logic worldwide.



  • Evitable iterates of the consistency operator [arXiv]

  • A robust proof-theoretic well-ordering [arXiv]

  • A characterization of ordinal analysis [arXiv]

  • An incompleteness theorem via ordinal analysis [arXiv]

  • Reflection ranks via infinitary derivations, with Fedor Pakhomov [arXiv]

  • On the hierarchy of natural theories [arXiv]