Manuel Hermenegildo#
| Email: | herme 'at' fi.upm.es |
| Membership Number: | 2793 |
| Main Country of Residence: | SPAIN |
| Section: | INFORMATICS |
| Username: | mhermenegildo |
Present and Previous Positions
- Jan 2007-... Scientific Director, Madrid Institute for Advanced Research in Software Development Technology (IMDEA-Software); Spain
- Jan 1990-... Full Professor (January 1990-May 1994 Associate Professor), Technical U. of Madrid, Department of Computer Science; Spain
- Feb 03-Dec 08 Prince of Asturias Endowed Chair in Information Science and Technology, U. of New Mexico, Departments of Computer Science and Electrical and Computer Engineering; Albuquerque, NM, USA
- May 00-Sep 02 Director of the Spanish National Research Directorate (Spanish central agency financing research in all areas of science and technology)
- Oct 86-Dec 89 Member, Technical Staff, MCC, Parallel Processing Program and ACA/Systems Technology Lab.; Austin, Texas
- Mar 87-Jan 90 Assistant/Associate Professor (adjunct), University of Texas at Austin, Computer Science Department
- Jun 81-Aug 81 Design Engineer, Siemens Gmbh.; Munich, Germany
- Jan 80-Oct 82 President, HC Electronics; Madrid, Spain
Fields of Scholarship
- advanced program development technology
- global program analysis/optimization/verification
- abstract interpretation
- Abstract Machines
- parallelizing compilers
- resource-aware distributed execution and logical agents
- automatic hypertext/Web-site generation
- automatic documentation tools
- constraint/logic/functional programming theory and implementation
- execution visualization
- sequential and parallel computer architecture
Honours and Awards
- “Julio Rey Pastor” Prize for Research in Mathematics and Information and Communication Technologies, 2006 (highest Spanish national scientic award in the areas of mathematics and information technology.
- “Aritmel” Prize for Scientific Merit in Computer Science, 2005.
- Elected president of the Association for Logic Programming (ALP)
- May 00-Sep 02 Director of the Spanish National Research Directorate (Spanish central agency financing research in all areas of science and technology).
| operated by | 
|