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.

Activities

Sep. 2025
Gave a talk about Bean at FPBench.
Jul. 2025
Attended Oregon Programming Languages Summer School in Eugene, Oregon.
Jun. 2025
Attended PLDI in Seoul, Korea where Bean was presented.
May 2025
Participated in the Adjoint School for applied category theory in the group Categorical Metric Structures for Numerical Analysis. The School consisted of a semester of paper presentations and a research week at the University of Florida.
Jan. 2025
TA for CS 4810: Introduction to the Theory of Computing.
Jan. 2025
Attended POPL in Denver, Colorado.
Aug. 2024
TA for CS 2110: Object-Oriented Programming and Data Structures.
Aug. 2024
Started my PhD at Cornell!