Laura Zielinski

GitHub ยท LinkedIn

I am a second year Computer Science PhD student at Cornell University focusing on Programming Languages. I'm currently doing research with Prof. Justin Hsu applying category theory and type systems to numerical error analysis and scientific computing. I completed my undergrad in mathematics at the University of Chicago where I did research with Prof. Robert Rand.

I can be reached by email at [email protected].

Photo of Laura Zielinski

Publications

  1. Laura Zielinski and Justin Hsu. Synthesizing Backward Error Bounds, Backward. In submission, 2025.
  2. Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu. Bean: A Language for Backward Error Analysis. Programming Language Design and Implementation, 2025.
  3. Bhakti Shah, Willam Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand. ViCAR: Visualizing Categories with Automated Rewriting in Coq. Applied Category Theory, 2024.