Sydney Gibson

sydneyg [at] cmu [dot] edu

Blog | Experience

Hello! I'm Sydney Gibson, a Ph.D. student in the Computer Science Department at Carnegie Mellon, advised by Bryan Parno. I'm interested in formally verifying computer systems, and developing better methods for doing so. I am currently a member of the Everest Project.

Right now, I'm spending my summer as a Research Intern at Google, working with the OpenTitan team.

I received my B.S. and M.Eng. from the Electrical Engineering and Computer Science Department at MIT. While I was there, I worked with the Parallel and Distributed Operating Systems group in CSAIL.

Feel free to email me, follow me on Twitter, or see what I'm up to on Github or Instagram.

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