(In)formalized Mathematics
Published:
I gave this talk for the McMaster Casual Math Seminar, in the Winter semester of 2024. The goal was to introduce graduate students and undergrads to the Lean 4 theorem prover.
Posts by Collection
portfolio
publications
talks
Schützenberger’s Theorem: First-order definability of regular languages
Published:
I gave this talk for the McMaster-Waterloo Joint Model Theory Seminar. I introduced some basic background in the theory of formal languages and presented a proof of Schützenberger’s Theorem which demonstrates that a regular string language is first-order definable if and only if it is definable by a star-free regular expression.
Busy Beaver: A journey through computability and Canadiana
Published:
I gave this talk for the McMaster Casual Math Seminar, in the Winter semester of 2025. The goal of this talk was to introduce an undergraduate audience to some of the questions of computability theory, using the Busy Beaver problem, as a motivating question.
Simulation classes and aperiodicity
Published:
I gave this talk at BLAST 2025. I spoke about my PhD research exploring an open problem originally posed by Joel VanderWerf. You can find the slides from my talk here.
teaching
MATH 1MP3 - Introduction to Mathematical Scientific Computation
Undergraduate course, McMaster University, Mathematics and Statistics, 2025
Lecturer
Math 1ZC3 - Linear algebra I (Engineering)
Undergraduate course, McMaster University, Mathematics and Statistics, 2025
Teaching assistant