Hello! I'm Sydney Gibson. I am the head of software at zeroRISC.

I was previously a software engineer at Aurora, and before that Ph.D. student in the Computer Science Department at Carnegie Mellon, advised by Bryan Parno. My research focused on formal methods for verifying safety and security properties of low-level, high-performance systems, and on developing new ways of doing so at scale.

During my time in academia I was a doctoral researcher at Google, where I formally verified cryptographic security routines for the OpenTitan chip. I was also a member of the Everest Project.

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.

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