Latest news
  • New Publication at FASE'1216/12/2011
  • New Publication at PEPM'1208/11/2011
  • New Poster at APLAS'1112/10/2011
  • New Publication at KeY'1128/08/2011
  • Diploma de Estudios Avanzados09/06/2011

Welcome to my site

The aim of this site is to give some professional and personal information about myself and give some useful pointers about my current work on CLIP and COSTA.

I'll try to keep the site up-to-date...

Current Situation

Currently I'm member of CLIP Group and COSTA Team at the School of Computer Science (Technical University of Madrid) and I'm working on my Phd Thesis under the supervision of Germán Puebla

At the same time I'm the Systems Administrator in CLIP Group (UPM) under the supervision of Manuel Hermenegildo

Studies

  • Ongoing - PhD in Software and Systems (Software y Sistemas). School of Computer Science. Technical University of Madrid
  • 2011 - Diploma de Estudios Avanzados. PhD in Computer Languages, Systems and Software Engineering. School of Computer Science. Technical University of Madrid
  • 2006 - Master in Information Technology. School of Computer Science. Technical University of Madrid
  • 2004 - Computer Science Engineer. School of Computer Science. Technical University of Madrid