# Manuel de Hermenegildo Salinas > Ph.D. 1986 **Wikidata**: [Q50477172](https://www.wikidata.org/wiki/Q50477172) **Source**: https://4ort.xyz/entity/manuel-de-hermenegildo-salinas ## Summary Manuel de Hermenegildo Salinas is a Spanish computer scientist born in Madrid in 1959, recognized for his significant contributions to program analysis, verification, parallelism, and logic programming. He achieved distinction as an ACM Fellow in 2023 and received the Premio Nacional de Investigación Julio Rey Pastor in 2005 for his pioneering research in the field. ## Biography - Born: March 13, 1959, Madrid, Spain - Nationality: Spain - Education: Ph.D. (1986), doctoral advisor: Gerald John Lipovski - Known for: Contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute - Employer(s): IMDEA Software Institute (notable affiliation) - Field(s): Computer science, program analysis, verification, parallelism, logic programming ## Contributions Manuel de Hermenegildo Salinas has made substantial contributions to the field of computer science, particularly in program analysis, verification, parallelism, and logic programming. His research has helped advance theoretical foundations and practical implementations in these areas. He has been instrumental in the development of the IMDEA Software Institute and has mentored numerous doctoral students, including notable computer scientists like Maria Garcia de la Banda, Gerald John Lipovski, Manuel Carro Liñares, Pedro López García, Germán Puebla Sánchez, and José Francisco Morales Caballero. His work has had a significant impact on both academia and industry, forming the basis for subsequent research in automated program analysis and verification techniques. ## FAQs ### Q: Where and when was Manuel de Hermenegildo Salinas born? A: Manuel de Hermenegildo Salinas was born on March 13, 1959, in Madrid, Spain. ### Q: Who was Manuel de Hermenegildo Salinas's doctoral advisor? A: His doctoral advisor was Gerald John Lipovski, who earned his Ph.D. from the University of Illinois at Urbana-Champaign in 1969. ### Q: What notable awards has Manuel de Hermenegildo Salinas received? A: He received the Premio Nacional de Investigación Julio Rey Pastor in 2005 and was honored as an ACM Fellow in 2023 for his contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute. ### Q: What academic organizations is Manuel de Hermenegildo Salinas affiliated with? A: He has been a member of Academia Europaea since 2010, serving in the Informatics section, and is also an ACM Fellow since 2023. ## Why They Matter Manuel de Hermenegildo Salinas has made lasting contributions to computer science through his research in program analysis, verification, parallelism, and logic programming. His work has advanced both theoretical understanding and practical applications in these domains. As an educator, he has mentored numerous students who have gone on to become prominent researchers in the field, including Maria Garcia de la Banda. The recognition he has received, such as the ACM Fellowship and Premio Nacional de Investigación Julio Rey Pastor, underscores the significance of his contributions. His leadership at IMDEA Software Institute has helped establish Spain as a significant contributor to international computer science research. ## Notable For - ACM Fellow (2023) for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute - Premio Nacional de Investigación Julio Rey Pastor recipient (2005) - Member of Academia Europaea (since 2010) in the Informatics section - Foundational contributions to program analysis and verification techniques - Mentor to multiple doctoral students including Maria Garcia de la Banda and other prominent computer scientists ## Body ### Early Life and Education Manuel de Hermenegildo Salinas was born on March 13, 1959, in Madrid, Spain. He pursued his doctoral studies under the supervision of Gerald John Lipovski, completing his Ph.D. in 1986. Lipovski, who had earned his Ph.D. from the University of Illinois at Urbana-Champaign in 1969, provided guidance that shaped Salinas's research direction in computer science. ### Academic and Research Contributions Salinas has made significant contributions to several areas of computer science, including program analysis, verification, parallelism, and logic programming. His research has been instrumental in advancing theoretical foundations and practical applications in these fields. He has been closely associated with the IMDEA Software Institute, where his leadership has contributed to Spain's prominence in international computer science research. ### Mentorship and Legacy As an educator and mentor, Salinas has supervised numerous doctoral students, including notable figures in computer science such as Maria Garcia de la Banda, Manuel Carro Liñares, Pedro López García, Germán Puebla Sánchez, and José Francisco Morales Caballero. This academic lineage demonstrates the broad impact of his teaching and research guidance on the next generation of computer scientists. ### Professional Recognition Salinas has received significant recognition for his contributions to computer science. In 2005, he was honored with the Premio Nacional de Investigación Julio Rey Pastor, a prestigious Spanish research award. His most recent recognition came in 2023 when he was named an ACM Fellow for his contributions to program analysis, verification, parallelism, logic programming, and his work with the IMDEA Software Institute. Additionally, he has been a member of Academia Europaea since 2010, serving in the Informatics section. ## Schema Markup ```json { "@context": "https://schema.org", "@type": "Person", "name": "Manuel de Hermenegildo Salinas", "jobTitle": "Computer Scientist", "worksFor": {"@type": "Organization", "name": "IMDEA Software Institute"}, "nationality": {"@type": "Country", "name": "Spain"}, "birthDate": "1959-03-13", "birthPlace": "Madrid, Spain", "alumniOf": [ {"@type": "EducationalOrganization", "name": "University with doctoral advisor Gerald John Lipovski"} ], "knowsAbout": ["Computer Science", "Program Analysis", "Verification", "Parallelism", "Logic Programming"], "sameAs": ["https://www.wikidata.org/wiki/Q829984"], "description": "Spanish computer scientist recognized for contributions to program analysis, verification, parallelism, and logic programming." } ## References 1. [Source](https://www.acm.org/media-center/2023/january/fellows-2022) 2. Mathematics Genealogy Project 3. [Source](https://www.ae-info.org/ae/Member/Hermenegildo_Manuel)