Pr. PETRI Gustavo

Researcher at ARM

Since 2018 I am a researcher at Arm. 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.