I am a postdoctoral researcher at the (INRIA) team Comète hosted at École Polytechnique. My position is fully supported by the Lix-Qualcomm Postdoctoral Fellowship.

Until December 2010, I was a PhD student at the Digital Security group at Radboud University Nijmegen under the supervision of Bart Jacobs, Peter van Rossum, and Catuscia Palamidessi. During my PhD I worked mostly on the application of formal methods to computer security with particular focus on algorithm design for verification purposes. For more information about what I worked on during my PhD and to find out more about my PhD defense, check out this page.

Before moving to Europe in 2006, I obtained Bachelor and Master degrees in Computer Science at the National University of Cordoba (Argentina). I completed my studies with the defense of my master project entitled Derivation of Counterexamples for Quantitative Model Checking supervised by Dr Pedro D'Argenio.

Back in Argentina, I also had the chance to get hands-on experience by working as Software Engineer and IT technician for important companies. Furthermore, I co-founded the IT-services company PuntoAR Soluciones informáticas where I worked until the beginning of my PhD.

For more information about me, have a look at my cv.