Carolyn Zech
Doctoral Student at Massachusetts Institute of Technology
United States
Summary
🤩
Rockstar🎓
Top SchoolCarolyn Zech is a PhD student in computer science at MIT's FLAME Lab with five years of software engineering and research experience focused on programming languages, formal verification, and systems. She has industry experience at Amazon working on the Kani Rust Verifier and academic research at Brown developing Paralegal, a static analyzer for privacy bugs in Rust, demonstrating a strong intersection of automated reasoning and practical tooling. A former Brown CS teaching assistant, she blends hands-on engineering with mentoring and curriculum experience in systems and AI coursework. Carolyn’s trajectory shows a consistent focus on making languages and tools safer and more auditable, with experience that spans production software and cutting-edge verification research.
5 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Massachusetts Institute of TechnologyBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Brown UniversityHigh School Diploma, High School Diploma at Weston High School
English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (23)
rust-lang10
verification10
model-checking10
rust10
spotify-api9
reddit9
compiler9
rust-language8
spotify8
chat8
forum8
crate8
standard-library8
aggregator8
api7
Programming languages (5)
Github contributions (5)
brownhistorydept/course-proposals-site
Jan 2022 - Nov 2022
Contributions:142 commits, 91 PRs, 128 pushes in 9 months
carolynzech/verify-rust-std
Aug 2024 - Feb 2025
Verifying the Rust standard library
Contributions:7 reviews, 71 PRs, 154 pushes in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.