Talk, University of Colorado Boulder, Boulder, Colorado, USA
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.
Talk, McMaster University, Hamilton, Ontario, CAN
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.
Talk, McMaster University, Hamilton, Ontario, CAN
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.
Talk, McMaster University, Hamilton, Ontario, CAN
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.