Manuel Hermenegildo#
Membership Number: | 2793 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2010 |
Main Country of Residence: | SPAIN |
Homepage(s): | http://www.clip.dia.fi.upm.es/~herme |
Present and Previous Positions
- Jan 2007 - present Distinguished Professor (Jan 07-Jul 17 Founding Scientific Director), Madrid Institute for Advanced Research in Software Development Technology (IMDEA-Software); Spain
- Jan 1990 - present Full Professor (January 1990-May 1994 Associate Professor), Technical U. of Madrid, Department of Computer Science; Spain
- Feb 2003 - Dec 2008 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 2000 - Sep 2002 Director of the Spanish National Research Directorate (Spanish central agency financing research in all areas of science and technology)
- Oct 1986 - Dec 1989 Member, Technical Staff, MCC, Parallel Processing Program and ACA/Systems Technology Lab.; Austin, Texas
- Mar 1987 - Jan 1990 Assistant/Associate Professor (adjunct), University of Texas at Austin, Computer Science Department
- Jun 1981 - Aug 1981 Design Engineer, Siemens Gmbh.; Munich, Germany
- Jan 1980 - Oct 1982 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
- ACM Fellow
- “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.
- 2005 “Aritmel” Prize for Scientific Merit in Computer Science
- Elected president of the Association for Logic Programming (ALP)
- May 2000 - Sep 2002 Director of the Spanish National Research Directorate (Spanish central agency financing research in all areas of science and technology)