Email: walsh@math.berkeley.edu

I am a student in the Group in Logic at UC Berkeley. I have an Sc.B. from Brown University. My research is in mathematical logic and the foundations of mathematics.

I am not currently teaching. Next semester I will be an instructor for Proof Theory.

*Articulating absolute generality*

Under review*Incompleteness and jump hierarchies*, with Patrick Lutz

Under review [arXiv]*Epistemic aspects of consistency proofs*

Under review*Reflection ranks and ordinal analysis*, with Fedor Pakhomov

Revise and resubmit [arXiv]*A note on the consistency operator*

**Proceedings of the AMS**, accepted [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

**ACM Proceedings Series**, Onward 2013 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