Judah Towery CV
<first name> dot <last name> at montana dot edu
Education
Montana State University
M.S. Mathematics, 2025–
Advisor:
David Ayala
University of New Mexico
B.S. Pure Mathematics, 2025,
summa cum laude
Thesis:
Proof Assistants and Type Theory
. Advisor:
Terry Loring
Projects
Bicategorical Whitehead Theorem
Equational Theories Project
Boolean algebra single axiomatization
Talks
Equational Theories of Magmas
Walk the Walk, Chalk the Chalk
Montana State University, 2025
The Stable Pontryagin-Thom Theorem
Pontryagin-Thom Theory Seminar
Montana State University, 2025
Formal Mathematics and the Lean Proof Assistant
Southwestern Undergraduate Mathematics Research Conference
University of New Mexico, 2024
Doing Math with the Lean Proof Assistant
Math and More, Coffee and Talks: Opening Social
University of New Mexico, 2023
Teaching
Teaching Assistant, Calculus 2. Montana State University, Spring 2025
Teaching Assistant, Calculus 1. Montana State University, Fall 2025