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.