I am a second year PhD Student at the University of Illinois at Chicago. I did my undergraduate degree in math at the University of Illinois at Urbana-Champaign.
I am primarily interested in mathematical logic, specifically model theory and its applications.
I am no longer teaching. I am currently a Mathematician at Everi Holdings, Inc.
Previous:
Spring 2024: I was (briefly) an instructor for Math 294 (course website) and a TA for Math 160.
Fall 2023: I was a TA for Math 160 at UIC
Summer 2023: I was an instructor for the Summer Mathematics Enrichment Workshop and a TA for Math 110 at UIC Resources
Spring 2023, Fall 2022: I was a TA for Math 121 at UIC Resources
Fall 2021: I was a grader for Math 213 (Discrete Math) at UIUC.
The Generalized Fraïssé Construction, Lousie Hay Logic Seminar (UIC), 4/17/23
The Topos-Theoretic Approach to Forcing, Louise Hay Logic Seminar (UIC), 11/21/22 (Unfinished notes)
As an undergrad I worked with Philipp Hieronymi (+ others) to formalize mathematical logic and model theory into Lean from scratch. Our work is available here.
