Depuis 2018, je suis chercheur chez Arm. De 2015 à 2018, j’ai été professeur assistant dans l’équipe Modélisation et Vérification du laboratoire de l’Institut de Recherche en Informatique Fondamentale (IRIF) de l’Université Paris Diderot — Paris 7. De 2012 à 2015, j’ai été professeur assistant invité à l’Université Purdue dans le département C.S. où j’ai travaillé avec Suresh Jagannathan et Jan Vitek. En 2011, j’ai été stagiaire postdoctoral à l’Université DePaul de Chicago, où j’ai travaillé avec Radha Jagadeesan, James Riely et Corin Pitcher. J’ai obtenu mon doctorat en 2010 sous la direction de Gérard Boudol au sein de l’équipe INDES à l’INRIA Sophia Antipolis, France. En 2006 et 2007, j’ai travaillé sous la direction de Marieke Huisman dans l’équipe Everest. J’ai obtenu mon diplôme en C.S. à Famaf, Université de Córdoba, Argentine en 2005.