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



  • Characterizations of ordinal analysis [arXiv]

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

  • On the hierarchy of natural theories [arXiv]

Additional papers are not listed for the sake of blind refereeing.