Laura Zielinski
Undergraduate →
PhD at Cornell
I’m a first year PhD student at Cornell University studying programming languages. I graduated from UChicago in 2024 majoring in mathematics.
Interests
- Formal verification
- Category theory
- Mathematical logic, computability
- Coffee, cross country skiing, book collecting