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.