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 in the philosophy of logic and mathematics.

I am currently the GSI for Philosophy 142. My office hours are Mondays 12pm-1pm and Wednesdays 11am-12pm.*Reflection ranks and ordinal analysis*, with Fedor Pakhomov

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

**Philosophical Studies**, revise & resubmit*On the inevitability of the consistency operator*, with Antonio Montalbán

**Journal of Symbolic Logic**, 84(1):205-225, 2019 [DOI][arXiv]

*Semantic reflection and iterated syntactic reflection*

ASL North American Meeting, City University of New York, May, 2019*Reflecting on consistency strength*

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