Professor of Philosophy at the University of Calgary, specializing in logic, proof theory, and the history of analytic philosophy. Holds a Ph.D. in Logic and Methodology of Science from UC Berkeley (2001). Editor of Philosophia Mathematica and founding editor of the Journal for the History of Analytic Philosophy. Author of multiple open-access logic textbooks and the Open Logic Project. Recipient of the Shoenfield Prize (2022) and the Bulletin of Symbolic Logic 25th Anniversary Prize (2021). Co-editor of the Collected Works of Rudolf Carnap.