World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Spain
2025

D-Index & Metrics

Computer Science

D-Index
61
Citations
10098
World Ranking
3137
National Ranking
40

Research.com Recognitions

  • 2025 - Research.com Computer Science in Spain Leader Award
  • 2022 - Research.com Computer Science in Spain Leader Award
  • 2010 - Member of Academia Europaea

Overview

Manuel V. Hermenegildo is affiliated with the Madrid Institute for Advanced Studies in Spain. Their research primarily focuses on the field of Computer Science, with significant contributions to subfields including Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Software, and Computer Networks and Communications.

Their research topics cover a variety of areas, notably:

  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Semantic Web and Ontologies
  • Distributed systems and fault tolerance

Manuel V. Hermenegildo has published extensively in several prominent venues, including:

  • Theory and Practice of Logic Programming
  • arXiv (Cornell University)
  • Electronic Proceedings in Theoretical Computer Science
  • Lecture Notes in Computer Science
  • Fundamenta Informaticae

Recent papers authored or coauthored by Manuel V. Hermenegildo include:

  • "Proceedings 38th International Conference on Logic Programming," 2022, Electronic Proceedings in Theoretical Computer Science

Other recent papers in related venues but authored by collaborators include:

  • "Fifty Years of Prolog and Beyond," 2022, Theory and Practice of Logic Programming
  • "Proceedings 39th International Conference on Logic Programming," 2023, Electronic Proceedings in Theoretical Computer Science
  • "From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation," 2020, Electronic Proceedings in Theoretical Computer Science
  • "Parallel Logic Programming: A Sequel," 2022, Theory and Practice of Logic Programming

Manuel V. Hermenegildo's collaborative network features frequent coauthors with whom research has been jointly conducted, including:

  • Pedro López-García
  • José F. Morales
  • John P. Gallagher
  • Ignacio Casso

In book publications, Manuel V. Hermenegildo has contributed to works published by Springer Science+Business Media, including:

  • "Prolog: The Next 50 Years," 2023
  • "Static Analysis," 2023

Among honors received, Manuel V. Hermenegildo was made a Member of Academia Europaea in 2010.

Best Publications

  • Compile-time derivation of variable dependency using abstract interpretation

    K. Muthukumar;M. Hermenegildo

  • Parallel execution of prolog programs: a survey

    Gopal Gupta;Enrico Pontelli;Khayri A.M. Ali;Mats Carlsson

  • Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

    Manuel V. Hermenegildo;Germán Puebla;Francisco Bueno;Pedro López-García

  • Task granularity analysis in logic programs

    Saumya K. Debray;Nai-Wei Lin;Manuel Hermnegildo

  • Combined determination of sharing and freeness of program variables through abstract interpretation

    Kalyan Muthukumar;Manuel V. Hermenegildo

  • An overview of ciao and its design philosophy

    M. V. Hermenegildo;F. Bueno;M. Carro;P. Lípez-García

  • An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs

    Manuel V Hermenegildo

  • An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel

    Manuel Victor Hermenegildo

  • Prolog and its performance: exploiting independent and-parallelism

    M. V. Hermenegildo;K. J. Greene

  • Energy consumption analysis of programs based on XMOS ISA-level models

    Umer Liqat;Steve Kerrison;Alejandro Serrano;Kyriakos Georgiou

  • On the practicality of global flow analysis of logic programs

    Richard A. Warren;Manuel V. Hermenegildo;Saumya K. Debray

  • Global flow analysis as a practical compilation tool

    M. V. Hermenegildo;R. Warren;S. K. Debray

  • The &-Prolog system: Exploiting independent and-parallelism

    Manuel V. Hermenegildo;K. J. Greene

  • Improving abstract interpretations by combining domains

    Michael Codish;Anne Mulkers;Maurice Bruynooghe;Maria García de la Banda

  • Determination of variable dependence information through abstract interpretation

    Kalyan Muthukumar;Manuel V. Hermenegildo

  • An Assertion Language for Constraint Logic Programs

    German Puebla;Francisco Bueno;Manuel V. Hermenegildo

  • Lower bound cost estimation for logic programs

    Saumya Debray;Pedro López-García;Manuel Hermenegildo;Nai-Wei Lin

  • On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

    Francisco Bueno;Pierre Deransart;Wlodzimierz Drabent;Gérard Ferrand

  • User-definable resource bounds analysis for logic programs

    Jorge Navas;Edison Mera;Pedro López-García;Manuel V. Hermenegildo

  • Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions

    Manuel V. Hermenegildo;Francesca Rossi

  • An overview of Ciao and its design philosophy

    M. V. Hermenegildo;F. Bueno;M. Carro;P. López-García

  • Divided We Stand: Parallel Distributed Stack Memory Management

    Kish Shen;Manuel V. Hermenegildo

Frequent Co-Authors

Saumya K. Debray
Saumya K. Debray University of Arizona
Deepak Kapur
Deepak Kapur University of New Mexico
Peter J. Stuckey
Peter J. Stuckey Monash University
Torsten Schaub
Torsten Schaub University of Potsdam
Michael Codish
Michael Codish Ben-Gurion University of the Negev
Kim Marriott
Kim Marriott Monash University
Francesca Rossi
Francesca Rossi IBM (United States)
Ugo Montanari
Ugo Montanari University of Pisa
Stephanie Forrest
Stephanie Forrest Arizona State University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degree options in fields related to computer science can help broaden your career opportunities and develop complementary skill sets. For example, pursuing an online physics degree provides strong problem-solving skills and analytical thinking, which are highly valued in technology roles.

If you’re interested in data science, consider following a data science learning path. With expertise in big data, statistics, and machine learning, you'll unlock a wide range of tech-driven careers.

Engineering is another smart choice. An online bachelor’s in electrical engineering equips you to work at the intersection of hardware and software, opening doors to specialized roles such as embedded systems or IoT development.

For those seeking flexible and quick credentials, consider adding certifications that pay well to your resume. Short-term certifications can boost your earning potential and make you stand out in the rapidly evolving tech job market.

Best Scientists Citing Manuel V. Hermenegildo

Trending Scientists

Recently Published Articles