Miguel E. Andrés

About me

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.

Research Interests

  • Differential Privacy
  • Privacy for Cloud-Based Services
  • Analysis of Anonymity
  • Secure Information Flow
  • Probabilistic Model Checking
Other Interests

  • Technology
  • Programming
  • Travelling
  • Music
  • Tennis, Squash, and Golf

  • PuntoAR Soluciones informáticas
  • Great company providing all kind of IT services
    (co-founded together with Mauro Garralda in 2004).
  • Slashdot
  • Excellent technology-related news website.
  • Bankable Script
  • Very interesting project of a friend of mine. If you are a script writer you should certainly check out this website.
  • River Plate
  • Official webpage of the best football team of Argentina.

Geo Visitors Map