Manuel Hermenegildo#


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)


Imprint Privacy policy « This page (revision-14) was last changed on Tuesday, 31. October 2023, 12:43 by Hermenegildo Manuel
  • operated by