Kay Thompson
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.
Beginning February 2024, I am working as a Mathematician at Everi Holdings, Inc.
- Email:
- kay t3 at uic dot edu
- Office:
- 1321 SEO
- Address:
Department of Mathematics, Statistics, and Computer Science
University of Illinois at Chicago
851 S Morgan St
Chicago, IL 60607
My CV (Last updated July 2023)
Teaching
I am no longer teaching at UIC
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.
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.
