Main Activities

  • I am a full professor and the director of the IMDEA Software Institute, located in Madrid and devoted to research in science and technology for program development: software verification, debugging, security, privacy, 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 joint UPM-IMDEA Software research unit. You can find much information on recent CLIP research activities, projects, papers/technical reports, software prototypes, etc. in the CLIP pages.

Research Interests

Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretation; Partial Evaluation; Parallelism and Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation, Abstract Machines; Automatic Documentation Tools, Execution Visualization; Sequential and Parallel Computer Architecture.

Other info