Manuel Hermenegildo

I lead the CLIP Lab at UPM / UNM

CLIP: Computational logic, Languages, Implementation, and Parallelism. You can find much information on our recent research activities, projects in which we are involved, papers/technical reports, software prototypes, etc. in the CLIP pages.

I am the director of Imdea Software

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.

(Other) current (and Previous) positions

Current Teaching:

• Spring 07 (UPM): Logic Programming, Logic Programming and Extensions.
• Fall 06 (UNM): CS550 Programming Languages and Systems.

Research:

• Research Areas
• Publications (frequently not up to date) / Group Publications by Research Area
• Education
• Service, Honors, Awards, ...
• Current and Previous Collaborators

• Complete, typically not up to date version of my CV (also in pdf).

• Other research-related info (and, e.g., slides of recent talks and tutorials).

Address Information (Phone, Fax, Email, Smail, ...).
Additional Personal Data, Address, Other Pointers.

The West Lab		The East Lab

In construction (permanently?) by M.H.
Last modified: Wed Dec 3 23:06:08 2008
Information on the picture in my home page background.