Gordon Stewart

Gordon Stewart currently serves as the Associate Director of Secure and Resilient Systems at Riverside Research, leading the Formalized Security group since August 2024. Previously, Gordon was the FM Concurrency Verification Lead at BlueRock Security, managing a team focused on formal verification for systems software from January 2020 to August 2024. With a robust academic background, Gordon held the position of Assistant Professor at Ohio University, where a successful research program was developed, resulting in competitive grant wins and multiple student graduations. During doctoral studies at Princeton University, research concentrated on formal methods and compilers. Gordon gained practical experience through internships at Microsoft and IMDEA Software Institute, as well as early roles in system administration and research programming at Harvard and Tufts University. Gordon holds a PhD in Computer Science from Princeton University and an AB in Classics from Harvard University.