Carolyn Zech

PhD Candidate in Computer Science

Massachusetts Institute of Technology

I am a PhD student in the FLAME lab at MIT, advised by Rachit Nigam. My research focuses on programming languages and formal verification for hardware design.

Previously, I was a software engineer for the Kani model checker at Amazon.

I received my ScB in Computer Science from Brown University, where I worked on static program analysis with Malte Schwarzkopf and Shriram Krishnamurthi in the ETOS group.

News

Sep 2025

Started my PhD at MIT!

Jul 2024

Joined Amazon as a software engineer for the Kani verifier.

May 2024

Graduated from Brown and received the computer science department’s Senior Prize.

Jan 2024

Received an honorable mention for the Computing Research Association (CRA) Outstanding Undergraduate Researcher Award.

Publications

Parameterized Hardware Design with Latency-Abstract Interfaces
Rachit Nigam, Edmund Lam, Ethan Gabizon, Carolyn Zech, Jonathan Balkind, Adrian Sampson
ASPLOS 2026
Paralegal: Practical Static Analysis for Privacy Bugs
Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf
OSDI 2025
ACM Code
Verifying the Rust Standard Library
Rahul Kumar, Celina Val, Felipe Monteiro, Michael Tautschnig, Zyad Hassan, Qinheping Hu, Adrian Palacios, Remi Delmas, Jaisurya Nanduri, Felix Klock, Justus Adam, Carolyn Zech, Artem Agvanian
VSTTE 2024
Proceedings

© 2025 Carolyn Zech; built with Zola