Curriculum Vitae

Home | Blog

Publications

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
ACM CCS 2023 | November 2023 | To Appear

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, and Bryan Parno
IEEE S&P 2023| May 2023 | Preprint

Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido MartĂ­nez, Denis Merigoux, and Tahina Ramananandro
ICFP 2021 | August 2021 | PDF

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, and Chris Hawblitzel
VSTTE 2020 | July 2020 | PDF

Education

Carnegie Mellon University
Ph.D. | Computer Science Department | On hiatus

Massachusetts Institute of Technology
Master of Engineering | Electrical Engineering and Computer Science

Massachusetts Institute of Technology
Bachelor of Science | Computer Science and Engineering

Industry

zeroRISC
Head of Software | Current

Aurora Innovation
Software Engineer | Autonomy Acceleration Team

Google
Student Researcher | OpenTitan Team

Microsoft Research
Research Intern | Systems Research Group

VMware
R&D Intern | NSX Controller Team

Akamai Technologies
Software Engineering Intern | Network Team

Teaching

Computer Systems Engineering
Teaching Assistant | MIT

Artificial Intelligence
Teaching Assistant | MIT

Fundamentals of Programming
Lab Assistant | MIT

Honors & Awards

Graduate Research Fellowship
National Science Foundation | 2020