Manuel Hermenegildo

Manuel Hermenegildo, born in 1966 in Madrid, Spain, is a distinguished computer scientist renowned for his pioneering work in logic programming and program analysis. His research focuses on advancing the understanding of programming languages and enhancing the reliability and efficiency of software systems. Hermenegildo has made significant contributions to the development of formal methods and tools that support rigorous software development practices.