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 interests lie in algebraic and analytic combinatorics in several variables (ACSV), specifically constructive verification of coefficient positivity. I’m also interested in all things computer algebra, especially creative-telescoping methods for integration and the commutative algebra / real algebraic geometry that goes toward solving problems this area.
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
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