I am a Klarman Postdoctoral Fellow at Cornell University. I received my Ph.D. from the Group in Logic at UC Berkeley and my Sc.B. from Brown University.

My research is primarily in logic and analytic philosophy.

*Incompleteness and jump hierarchies*, with Patrick Lutz

**Proceedings of the American Mathematical Society**, forthcoming [published version | arXiv]*Reflection ranks and ordinal analysis*, with Fedor Pakhomov

**Journal of Symbolic Logic**, forthcoming [published version | arXiv]*A note on the consistency operator*

**Proceedings of the American Mathematical Society**, 148(6):2645--2654, 2020 [published version | arXiv]*On the inevitability of the consistency operator*, with Antonio Montalbán

**Journal of Symbolic Logic**, 84(1):205--225, 2019 [published version | arXiv]*Usable security as a static-analysis problem*, with Kathi Fisler, Shriram Krishnamurthi, Hannah Quay-de la Vallee, William Zimrin

**Association for Computing Machinery Proceedings**, Onward(3):1--16, 2013 [published version]

*Semantic reflection and iterated syntactic reflection*

ASL North American Meeting, City University of New York, May, 2019*Navigating the consistency strength hierarchy*

Mathematics in Practice, Stanford University, May, 2019*Hierarchies of proof-theoretic strength*

Graduate Conference in Logic, University of Illinois, Chicago, April, 2019*Hierarchies of proof-theoretic strength*

Logic and Foundations of Mathematics Seminar, Stanford University, April, 2019*Articulating absolute generality*

APA Central Division Meeting, Denver, CO, February, 2019*Articulating absolute generality*

Graduate Research Colloquium, University of California, Berkeley, December, 2018*On the inevitability of the consistency operator*

Logic Seminar, University of Pennsylvania, November, 2018-
*Reflection ranks and ordinal analysis*

Computational Logic Seminar, City University of New York, November, 2018 -
*Epistemic aspects of consistency proofs*

Midwest Philosophy of Mathematics Workshop, University of Notre Dame, October, 2018 -
*Reflection ranks and ordinal analysis*

ASL North American Meeting, Western Illinois University, May, 2018 -
*On the inevitability of the consistency operator*

Proof Theory Seminar, Steklov Institute of Mathematics, March, 2018 -
*Hierarchies of proof-theoretic strength*

Operations, Sets, and Types III, University of Bern, March, 2018 -
*Hierarchies of proof-theoretic strength*

South-Eastern Logic Symposium, University of Florida, February, 2018 -
*Epistemic aspects of consistency proofs*

Workshop on the Philosophy of Mathematical Reasoning, Stanford University, February, 2018 -
*Epistemic aspects of consistency proofs*

APA Eastern Division Meeting, Savannah, GA, January, 2018 -
*On the inevitability of the consistency operator*

International Workshop on Proof Theory, Modal Logic, and Reflection Principles, Steklov Institute of Mathematics, October, 2017 -
*On the inevitability of the consistency operator*

ASL Logic Colloquium, Stockholm University, August, 2017 -
*Epistemic aspects of consistency proofs*

CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University, May, 2016