Gustavo Petri


Gustavo F. Petri
50/60 Station Rd
Cambridge, CB1 2JH
United Kingdom
Curriculum Vitae

Short Bio

I am a Principal Applied Scientist at Amazon with the S3 Automated Reasoning Group. From 2018 to 2022 I was a researcher at Arm. Before that, from 2015 to 2018 I was an Assistant Professor at the Modeling and Verification team of the Institut de Recherche en Informatique Fondamentale (IRIF) lab at the Université Paris Diderot -- Paris 7. From 2012 to 2015 I served as Visiting Assistant Professor at Purdue University in the C.S. department where I worked with Suresh Jagannathan and Jan Vitek. During 2011 I was a postdoctoral fellow at DePaul University at Chicago working with Radha Jagadeesan, James Riely and Corin Pitcher. I obtained my Ph.D. in 2010 under the supervision of Gérard Boudol at the INDES team at INRIA Sophia Antipolis, France. During 2006 and 2007 I worked under the supervision of Marieke Huisman at the Everest team. I obtained my degree on C.S. at Famaf, University of Córdoba, Argentina in 2005.

Research Interests

My current research interests are distributed systems security and consistency. Hardware and software relaxed memory models, the semantics of shared memory and distributed systems, verified compilers, and the verification of concurrent and distributed algorithms. I am broadly interested in verification and formal methods, concurrency, distributed systems, and security.