# 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.

- 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 Nov 2023)
## Teaching

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.

## 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.