Gustavo Petri

Modeling and Verification team — IRIF

Paris Diderot — Paris 7

Contact Information

Gustavo Federico Petri
Modeling and Verification team
IRIFParis Diderot - Paris 7
+33 (0)1 57 27 94 01
Sophie Germain Building,
8 Place FM/13,
75013 Paris, France

Short Bio

I am 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. Before I was a Visiting Assistant Professor at Purdue University in the C.S. department where I enjoyed working 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. under the supervision of Gérard Boudol in 2010 at the INDES team at INRIA Sophia Antipolis, France. During 2006 and 2007 I enjoyed working with 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 topics are memory models, 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, and distributed systems.