| Feb 23, 2026 | My paper, Varieties of Confluence Arguments, Part 1, is available open access in Synthese. |
| Feb 19, 2026 | I presented one of the Association of Symbolic Logic Plenary Sessions at the 2026 Central APA, in Chicago. Check out the slides here. |
| Sep 18, 2025 | My recent interview with the American Philosophical Association is published on the blog of the APA. |
| Aug 5, 2025 | New preprint out on separating definitional equivalence and bi-interpretability, joint with Toby Meadows. |
| Jul 27, 2025 | I presented on set theory’s foundational job at the Annual Conference of Philosophy of Mathematics in China |
| Feb 28, 2025 | I presented at the 2025 ASL/APA Central Joint Meeting, on the practical uses of the Church-Turing Thesis. |