Experience

Home | Blog

Publications

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 | Link

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 | Ongoing

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

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

Internships & Industry Experience

Google
Research Intern | OpenTitan Team | Summer 2021

Google
Research Intern | OpenTitan Team | Summer 2020

Microsoft Research
Research Intern | Systems Research Group | Summer 2019

VMware, Inc.
R&D Intern | NSX Controller Team | Summer 2018

Akamai Technologies
Software Engineering Intern | Network Team | Summer 2017

Teaching

Computer Systems Engineering (6.033)
Teaching Assistant | MIT | Spring 2020

Artificial Intelligence (6.034)
Teaching Assistant | MIT | Fall 2019

Fundamentals of Programming (6.009)
Lab Assistant | MIT | Spring 2019

Honors & Awards

Graduate Research Fellowship
National Science Foundation | Spring 2020