Curriculum Vitae

A PDF of the curriculum vitae is available in short, and minimal formats. Please contact me if you are interested in a full version (with tons of useless information).

Short Biography

I have received a Ph.D in Computer Science from Ben-Gurion University of the Negev in Israel in 2003. After finishing my Ph.D, I have been awarded a Marie-Curie fellowship by the European Commission for 2-years Post-Doctoral studies at the Universita' degli studi di Verona with Roberto Giacobazzi. In 2006 I have joined the CLIP research group at the Universidad Politécnica de Madrid as a Juan de la Cierva researcher. In December 2008 I have joined the Departamento de Sistemas Informáticos y Computación at the Universidad Complutense de Madrid as Profesor Contratado Doctor.

Fellowships, Awards, Honors, etc.

  1. Juan de la Cierva fellowship. Three years postdoctoral fellowship awarded by the Spanish Ministry of Education and Science. From 01/02/2006 until 03/12/2008.
  2. Marie Curie fellowship with Roberto Giacobazzi. Two years postdoctoral fellowship awarded by the European Commission. From 28/03/2003 until 27/03/2005.
  3. Ben-Gurion University of the Negev Rector's Prize for excellence in Ph.D. studies. This prize is given to one Ph.D. student each year.
  4. The Knesset (Parliament of Israel) award for excellence in Ph.D. studies.
  5. Eshkol Grant. Three years grant for doctoral studies awarded by the Israeli Ministry of Science. From 01/11/1998 until 31/10/2001.
  6. Kreitman Foundation fellowship. Four years fellowship for doctoral studies awarded by the Kreitman Foundation. From 01/10/1998 until 30/09/2002.
  7. Intel Prize for excellence in M.Sc. studies.

Reserach Projects

I have been active in the following research projects

  1. HATS -- Highly Adaptable and Trustworthy Software using Formal Methods. From 1/3/2009 until 28/2/2013). Financed by the European Commission [EU IST FET Programme. Integrated Project. Grant agreement #231620].
  2. DOVES -- Development Of Verifiable and Efficient Software. From 1/1/2009 until 31/12/2013. Financed by Ministro de Educación y Ciencia, España [MEC 2008-05624/TIN].
  3. Acción Integrada with the Roberto Giacobazzi -- Abstract Interpretation based Code Protection and Transformation. From 1/1/2009 until 31/12/2010. Financed by Ministro de Educación y Ciencia, España [HI2008-0153].
  4. Reasoning about Determinacy in Logic Programs. From 01/05/2006 until 30/04/2008. Financed by the Royal Society, UK (Joint International Project). Travel grant for visit exchange with Andy King.
  5. PROMESAS -- PROgrama en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro. From 01/01/2006 until 31/12/2009. Financed by Comunidad de Madrid [CAM S-0505/TIC/0407].
  6. MERIT -- Métodos RIgurosos para sistemas software heTerogéneos y móviles. From 31/12/2005 until 30/12/2008. Financed by Ministro de Educación y Ciencia, España [MEC TIN2005-09207-C03-01].
  7. MOBIUS -- Mobility, Ubiquity, and Security. From 01/09/2005 until 31/08/2009. Financed by the European Commission [EU IST FET Programme. Integrated Project IST-15905].
  8. AIDA -- Abstract Interpretation Design and Applications. From 01/01/2005 until 31/12/2006. Financed by national Italian research funds.
  9. SPY-Mod -- Abstract Interpretation and Model Checking for the Verification of Embedded Systems. From 21/02/2003 until 20/02/2005. Financed by Ministero dell'Istruzione, dell'universita e della ricerca (ITALIA).
  10. CoVeR -- Constraint-based Verification of Reactive Systems. From 01/12/2002 until 30/11/2003. Financed by Ministero dell'Istruzione, dell'universita e della ricerca (ITALIA).
  11. RADIOWEB -- Automatic Generation of Web Sites for the Radio Broadcasting Industry. Form 01/01/1998 until 31/12/2000. Financed by the European Commission [ESPRIT EP 25562 / CICYT TIC98-1531-CE].

Member in Program Committee

  1. ICLP 2014
  2. FLOPS 2014
  3. PEPM 2013
  4. VMCAI 2013
  5. WST 2012
  6. WLPE 2011
  7. ICLP 2011
  8. BYTECODE2011
  9. WST 2010
  10. CICLOPS-WLPE2010
  11. ICLP 2010
  12. TGC 2010
  13. ISMM 2010
  14. BYTECODE 2010
  15. BYTECODE 2009 (Program co-Chair with Elvira Albert)
  16. PLID 2008 (Program Chair)
  17. PLID 2007
  18. WST 2007
  19. BYTECODE 2007
  20. SAC 2007, Technical Track on Software Verification