Manuel V. Hermenegildo

About the Author

Manuel V. Hermenegildo is a distinguished computer scientist and professor renowned for his pioneering contributions to logic programming and artificial intelligence. With a career spanning decades, he has advanced the field of Prolog, a key language in declarative programming, through innovative research on abstract interpretation, parallelism, and program analysis. As head of the IMDEA Software Institute and a professor at the Technical University of Madrid, Hermenegildo has mentored countless researchers and influenced global AI development. His work bridges theoretical foundations with practical applications, earning him accolades from prestigious organizations. In his writings, he explores the future of computing with clarity and foresight, making complex concepts accessible to both experts and newcomers.