Manuel Hermenegildo#


Manuel Hermenegildo
Email:herme 'at' fi.upm.es
Membership Number:2793
Membership type:ORDINARY
Main Country of Residence:SPAIN
Section:INFORMATICS
Username:mhermenegildo
Elected:2010
Homepage: http://www.clip.dia.fi.upm.es/~herme



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.
  • 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-11) was last updated on Wednesday, 17. January 2018, 09:43 by Kaiser Dana
  • operated by