• Positions
• Conference (co-)chair
• Program Committees
• Conference Organizing Committees
• PhD Students
• Ongoing Projects
• Research visits

Positions:

• Associate Professor, Universidad Complutense de Madrid, since February 2000
• Lecturer, Universidad Complutense de Madrid, 1995-2000
• Assistant Professor, Universidad Complutense de Madrid, 1994-1995
• Predoctoral Grant, Universidad Complutense de Madrid, 1993-1994

Conference (co-)chair:

• PROLE 2011 : XI Jornadas sobre Programación y Lenguajes (PROLE 2011)
• The 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008)

---

Program Committees:

• 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
• 14th International Symposium on Principles and Practice of Declarative Programming (PPDP 2012)
• XV Jornadas sobre Programación y Lenguages (PROLE 2015)
• XII Jornadas sobre Programación y Lenguages (PROLE 2014)
• XII Jornadas sobre Programación y Lenguages (PROLE 2012)
• 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011)
• X Jornadas sobre Programación y Lenguages (PROLE 2010)
• The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
• Joint Conference on Declarative Programming (APPIA-GULP-PRODE 2000)
• Joint Conference on Declarative Programming (APPIA-GULP-PRODE 1999)

---

Conference Organizing Committees:

• 12th International Symposium on Trends in Functional Programming (TFP 2011)

---

PhD Students:

• Diego Esteban Alonso Blas. From Abstract Programs to Precise Asymptotic Closed-Form Bounds

---




Ongoing Projects:

• SICOMORo-CM (Oct 1, 2014 - Oct 1, 2018) [CM Project]
  • Elvira Albert (Complutense University of Madrid)
  • Manuel Núñez (Complutense University of Madrid)
• ENVISAGE (Oct 1, 2013 - Oct 1, 2016) [EU Project FP7]
  • Elvira Albert (Complutense University of Madrid)
  • Einar Broch Johnsen (Coordinator, University of Oslo)
• VIVAC (Jan 1, 2013 - Dec 31, 2015) [Spanish Ministry of Science and Innovation TIN2012-38137-C02]
  • Elvira Albert (Complutense University of Madrid)
  • German Puebla (Technical University of Madrid)

---

Research visits:

• February 1995-April 1995: Department of Computer Science, University of Pisa, Italy (with Giorgio Levi )