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.