Manuel Hermenegildo

I lead the CLIP Lab at UPM and 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 the Madrid region in program development technology: software verification, debugging, environments, languages, 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 Sep 27 14:50:44 2006
Information on the picture in my home page background.