Gustavo Petri

Bio : He is currently a Principal Applied Scientist at Amazon within the S3 Automated Reasoning Group. From 2018 to 2022, he worked as a researcher at Arm. Prior to this, he held the position of Assistant Professor with the Modeling and Verification team at the Institut de Recherche en Informatique Fondamentale (IRIF) lab, Université Paris Diderot — Paris 7, from 2015 to 2018. Between 2012 and 2015, he served as Visiting Assistant Professor at Purdue University in the Computer Science department, collaborating with Suresh Jagannathan and Jan Vitek. In 2011, he was a postdoctoral fellow at DePaul University in Chicago, where he worked alongside Radha Jagadeesan, James Riely, and Corin Pitcher. He obtained his Ph.D. in 2010, under the supervision of Gérard Boudol at the INDES team, INRIA Sophia Antipolis, France. He worked under Marieke Huisman at the Everest team during 2006 and 2007. He earned his degree in Computer Science at Famaf, University of Córdoba, Argentina, in 2005.


February 29 ,2024 March 11 ,2024

Abstract submission deadline

March 7 ,2024 March 18 ,2024

Paper submission deadline

April 22 ,2024

Accept/Reject notification

May 12 ,2024

Camera ready copy due

May 27-28 ,2024

Metis Spring school

May 29-31 ,2024

Netys Conference


Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors