Sydney Gibson is a Ph.D. student at Carnegie Mellon University, advised by Bryan Parno, focusing on formal security and correctness guarantees for low-level software. Previously, Sydney worked as a Software Engineer at Aurora, optimizing autonomy software, and held positions at Microsoft, VMware, Google, and Akamai Technologies, where they contributed to various research and development projects. Sydney earned a Bachelor’s Degree in Electrical Engineering and Computer Science, followed by dual Master of Engineering degrees in Computer Science and Electrical Engineering from the Massachusetts Institute of Technology. Currently, Sydney serves as the Head of Software at zeroRISC, a start-up dedicated to enhancing hardware security transparency and trustworthiness.
This person is not in the org chart
This person is not in any teams
This person is not in any offices