Research

Preprints

Journal Articles

Characterizations of ordinal analysis
Annals of Pure and Applied Logic, 174(4), 2023 [published version | arXiv]
Evitable iterates of the consistency operator
Computability, 12(1):59--69, 2023 [published version | arXiv]
Reducing ω-model reflection to iterated syntactic reflection, with Fedor Pakhomov
Journal of Mathematical Logic, 23(2):1--39, 2023 [published version | corrigendum | arXiv]
An incompleteness theorem via ordinal analysis
The Journal of Symbolic Logic, online, 1--17, 2022 [published version | arXiv]
Reflection ranks and ordinal analysis, with Fedor Pakhomov
The Journal of Symbolic Logic, 86(4):1350--1384, 2021 [published version | arXiv]
Incompleteness and jump hierarchies, with Patrick Lutz
Proceedings of the American Mathematical Society, 148(11):4997--5006, 2020 [published version | corrigendum | 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
The Journal of Symbolic Logic, 84(1):205--225, 2019 [published version | arXiv]

Conference Proceedings

Usable security as a static-analysis problem, with Kathi Fisler, Shriram Krishnamurthi, Hannah Quay-de la Vallee, William Zimrin
Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software:1--16, 2013 [published version]

Reviews

Is the HYPE about strength warranted?, by Martin Fischer
Mathematical Reviews, MR4410104, 2023 [MathSciNet]
A note on the unprovability of consistency in formal theories of truth, by Kevin Davey
Mathematical Reviews, MR4340960, 2022 [MathSciNet]
A dialogical route to logical pluralism, by Rohan French
Mathematical Reviews, MR4306106, 2022 [MathSciNet]
Local reflection, definable elements, and 1-provability, by Evgeny Kolmakov
Mathematical Reviews, MR4159764, 2022 [MathSciNet]