Conferencia invitada: Prof. Dr. Manuel Hermenegildo
Conferenciante:
Prof. Dr. Manuel Hermenegildo. Universidad Politécnica de Madrid
Título:
Prolog cumple 50, larga vida a Prolog!
Resumen:
Prolog cumple 50 años y este año ha sido declarado el «Año de Prolog» para celebrar este aniversario, y el hecho de que, después de todos estos años, Prolog y la programación de lógica sigan siendo relevantes para la programación de alto nivel y la IA simbólica y explicable, con numerosas implementaciones que siguen evolucionando, y nuevas que aparecen continuamente.
En esta charla repasaré la evolución de Prolog a lo largo de estos años y la estado actual del lenguaje y sus implementaciones, seguidas de algunas reflexiones sobre retos y oportunidades para el futuro. También explicaré brevemente cómo abordamos algunos de estos desafíos en nuestro sistema Ciao Prolog. Finalmente también intentaré aportar algunas ideas sobre cómo enseñar Prolog y la Programación Lógica en general.
Acerca del conferenciante:
Manuel Hermenegildo received his Ph.D. degree in Computer Science and Engineering from the U. of Texas at Austin (1986) and an Engineer’s Degree from T.U. Madrid UPM (1981). He is currently Distinguished Professor at the IMDEA Software Research Institute and full Prof. of Computer Science at T.U. Madrid (UPM). He held the P. of Asturias Endowed Chair at the U. of New Mexico, USA (2003-2008) and was Project Leader at the MCC research center (1986-1989) and Adjunct Assoc. Prof. at the CS Department of the U. of Texas in Austin (1987-1990).
His areas of interest include global program analysis, optimization, verification, and debugging; abstract interpretation; partial evaluation; energy-aware computing; analysis, verification, and optimization of resources and other non-functional properties; parallelism and parallelizing compilers; constraint/logic/functional programming theory and implementation; abstract machines; automatic documentation tools; execution visualization; and sequential and parallel computer architecture. He is one of the main contributors to the Ciao multiparadigm programming language and the CiaoPP program analyzer, optimizer, and verifier.
He has published more than 250 refereed papers and monographs, given numerous keynotes and invited talks, coordinated a large number of international projects, chaired a number of PCs of major international conferences, and is area editor or adviser for various international journals. He received the Julio Rey Pastor Spanish National Prize for Mathematics and Information Science and Technology, the highest national distinction in the area, and the Aritmel National prize in Computer Science, given by the Spanish computer science association.
He has supervised 14 Ph.D. theses at UPM, the U. of New Mexico, and the U. of Texas at Austin.
He is the president of the Scientific Board of INRIA, member of the Scientific Advisory Board of Dagstuhl, vice-President of Informatics Europe, and member of the Steering Board of EIT Digital, among others. He has been elected President of the International Association for Logic Programming, as well as member of the executive committee of the European Association for Programming Languages and Systems, and several other international committees, and is a member of Academia Europaea.