Main Activities

  • I am the director of the IMDEA Software Institute, a new research institute in Madrid devoted to research in science and technology for program development: software verification, debugging, programming languages, environments, optimization, parallelization, modeling, etc.
  • I am also a full professor at the Technical University of Madrid (UPM).
  • I lead the CLIP (Computational logic, Languages, Implementation, and Parallelism) Lab, a UPM lab associated with IMDEA Software. You can find much information on recent CLIP research activities, projects, papers/technical reports, software prototypes, etc. in the CLIP pages.

Research Interests

Abstract interpretation-based program analysis, verification, debugging, and optimization; programming language design and implementation; multi-paradigm programming; parallelizing compilers.

Other info