About
I’m a second-year master’s student in Computer Science at the University of Waterloo, co-advised by Stephen Melczer and Rafael Oliveira.
My research lies in algebraic and analytic combinatorics in several variables (ACSV), specifically constructive verification of coefficient positivity. Lately, I’ve become interested in enumeration problems arising from unusual areas or applications, such as geometry & topology, model theory, mathematical biology, and electronic circuit theory. Finally, I like computer algebra, especially creative-telescoping methods for summation and integration, as it relates to problems in combinatorics.
I completed bachelor’s degrees in Mathematics and Electrical Engineering at the University of Illinois in 2024. My senior thesis was concerned with automating aspects of asymptotic derivations for certain subclasses of rational functions using ACSV.
Updates
- I am thankful and delighted to have won the Student Committee Poster Award at the AARMS-CMS Winter 2025 Meeting. [PDF]
- Next term I will be mentoring 3 students in a DRP reading course on creative telescoping. Course webpage
This term, I...
- Am an instructional assistant for CS 245, Logic for Computer Science.
- Am attending the Algorithms and Complexity Seminar and reading group, as well as the Enumerative and Algebraic Combinatorics Seminar.
- Will present at the AARMS-CMS Student Poster Session at the Canadian Math Society's winter meeting.
Contact Information
- Email Address
- j47smith [at] uwaterloo [dot] ca
- Office
- DC 2306H
- Research Group(s)
- Institution
-
University of Waterloo, Cheriton School of Computer Science
200 University Ave W
Waterloo, Ontario, Canada N2L-3G1