Sydney Gibson

Research Assistant at the Darwin Deason Institute | CS Master's Student @ SMU

Sydney Gibson is a brilliant young scholar who is currently pursuing her Doctorate in Computer Science at Carnegie Mellon University. She has a passion for the formal verification of computer systems and is dedicated to developing more efficient and effective methods for doing so. Ms. Gibson has already achieved a great deal in her academic career, having studied at the Computer Science Department at Carnegie Mellon and earning her Master of Engineering in Computer Science at the Massachusetts Institute of Technology. She also earned her Bachelor's degree in Electrical Engineering and Computer Science as well as Mathematics at MIT. Ms. Gibson has worked for some of the top tech companies in the world including Google, Microsoft, and VMware, where she worked as a software engineer. She has also conducted research at several prestigious institutions including the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), the MIT Media Lab, and the Institute for Soldier Nanotechnologies.

Experience

Research Assistant at Darwin Deason Institute for Cyber Security (May 2021 - Present)

Senior Mentor at Southern Methodist University (Aug 2020 - Dec 2022), ITRM Intern at Textron (May 2022 - Aug 2022)

Education

Master of Science - MS, Computer Science with Cyber Security Specialization at Southern Methodist University (2022 - 2024), Bachelor of Science - BS, Computer Science at Southern Methodist University (2019 - 2023)