Department of Pure Mathematics
University of Waterloo
Office: MC5404
Email: ja2999la@uwaterloo.ca
I am a PhD student at the University of Waterloo. My research interests are in mathematical logic, especially computable structure theory and structural Ramsey theory.
My supervisors are
Barbara Csima
and
Andy Zucker.
My CV can be found
here.
Publications
The lexicographically least square-free word with a given prefix (with Siddharth Berera, Andrés Gómez-Colunga, John López, Mauditra Matin, Daniel Roebuck, Eric Rowland, Noam Scully, and Juliet Whidden). The Electronic Journal of Combinatorics, 30 (2023) #P3.11 (43 pages). DOI.
Preprints
Isomorphism spectra and computably composite structures. Submitted, https://arxiv.org/abs/2501.16586.
Oscillating subalgebras of the atomless countable Boolean algebra (with Dana Bartošová, David Chodounský, Barbara Csima, Jan Hubička, Matěj Konečný, Spencer Unger, Andy Zucker). https://arxiv.org/abs/2505.22603.
Talks
Computability theory of function composition, 2025 Canadian Mathematical Society Winter Meeting, Toronto, December 8, 2025.
Higher dimension partition principles in uncountable Hausdorff spaces, Infinite Structural Ramsey Theory, BIRS, Banff, November 24, 2025. [slides]
Isomorphism spectra and uniform computable categoricity, AMS Fall 2025 Central Meeting Special Session on Computability, October 19, 2025. [slides]
Isomorphism spectra and computably composite structures, The 25th Graduate Student Conference in Logic, University of Notre Dame, April 27, 2025. [slides]
Teaching
Lecturer, University of Waterloo
MATH 127 (Calculus 1 for Sciences): F25
Teaching Assistant, University of Waterloo
PMATH 433/733 (Model Theory): W25
PMATH 432/632 (First Order Logic and Computability): F23, F24
PMATH 330 (Introduction to Mathematical Logic): F22, W23, S23, W24
MATH 235 (Linear Algebra II for Honours Mathematics): F23
MATH 136 (Linear Algebra I for Honours Mathematics): W23
MATH 135 (Algebra for Honours Mathematics): F22, F24
Teaching Assistant, University of Toronto
CSCC24 (Principles of Programming Languages): W21, W22, S22
CSCC63 (Computability and Computational Complexity): W22
CSCB63 (Design and Analysis of Data Structures): W22
MATA67 (Discrete Mathematics): F20, F21
MATA22 (Linear Algebra I): W21
MATA36 (Calculus II): W21
CSCA08 (Introduction to Computer Science I): F19, W20, F20