Laura Zielinski

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

Latest