Hermenegildo Salinas, Manuel
Manuel Hermenegildo Salinas
Manuel Hermenegildo (Madrid 1959) es doctor en Ciencias de la Computación por la U. de Texas en Austin, EEUU (1986) y en Ing. de Telecomunicación por la UPM. Es Catedrático de Inteligencia Artificial de la UPM e Investigador Distinguido en el Instituto IMDEA Software, que dirigió desde su creación en 2007 hasta 2017, dedicado a la investigación en tecnologías de desarrollo software y ciberseguridad. Ha dirigido el nodo Español del KIC EIT Digital del Instituto Europeo de Innovación y Tecnología (2013-2107) y ocupó la Cátedra Príncipe de Asturias en Ciencia y Tecnología Informáticas en la U. of New Mexico, EEUU (2003-2008). Ha sido también director de investigación en la Microelectronics and Computer Technology Corporation (1986-1989) y profesor en el Depto. de Informática de la U. of Texas at Austin (1987-1990).
Sus áreas de interés incluyen el análisis, verificación, depuración y optimización global de programas, para propiedades funcionales y no funcionales; interpretación abstracta; evaluación parcial; computación consciente de la energía; teoría e implementación de la programación lógica y con restricciones; paralelismo y compiladores paralelizadores (conscientes de los recursos); máquinas abstractas; y arquitectura de computadores secuencial y paralela. Es uno de los principales desarrolladores del lenguaje de programación multiparadigma Ciao y del analizador, optimizador y verificador de programas CiaoPP.
Ha publicado más de 250 artículos con revisión por pares y monografías y ha dado más de 40 charlas invitadas plenarias en los principales congresos en sus áreas. También ha sido coordinador y/o IP de un gran número de proyectos internacionales, editor de área o asesor de varias revistas, y presidente, presidente del PC, miembro del PC y miembro del consejo de administración de los principales congresos internacionales en sus áreas de investigación. Ha supervisado 15 doctorales tesis en la UPM, la U. Of New Mexico (EEUU) y la U. of Texas at Austin (EEUU).
Es Fellow de la ACM y es Premio Nacional de Investigación Julio Rey Pastor en Matemáticas y Tecnologías de la Información y las Comunicaciones, y Premio Nacional de Informática Aritmel, otorgado por la Asociación Española de Informática. Elegido miembro de la Academia Europaea. Es el presidente del Consejo Científico del Consejo Nacional de Investigación de Informática y Matemáticas Aplicadas de Francia, Inria, y miembro del ACM, y fue elegido presidente de la Asociación Internacional de Programación Lógica, vicepresidente de Informatics Europe, y miembro del Consejo Asesor Científico del Instituto Leibniz Dagstuhl, el Consejo Directivo de EIT Digital, el comité ejecutivo de la Asociación Europea de Lenguajes y Sistemas de Programación así como varios otros comités científicos internacionales.
Ha sido Director General de Investigación (2000-2002), con la creación entre otros del programa Ramón y Cajal, y miembro del Grupo Asesor de la UE IST (ISTAG) y del Comité Asesor de Investigación de la UE (CREST). Ha sido miembro del consejo rector del CSIC, CIEMAT, y la FECyT, entre otros cargos nacionales e internacionales.
