Academic

Teaching

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.

Research/Talks

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.