World's Best Scientists 2026 revealed!
Michael Hanus

Michael Hanus

D-Index & Metrics

Computer Science

D-Index
39
Citations
6110
World Ranking
9794
National Ranking
488

Overview

Michael Hanus is affiliated with Kiel University in Germany. Their work primarily focuses on computer science with a significant number of publications in the subfields of artificial intelligence, computational theory and mathematics, and software. Other areas of interest include computer networks and communications as well as hardware and architecture.

The researcher's main topics of study encompass logic, programming, and type systems, logic, reasoning, and knowledge, formal methods in verification, software testing and debugging techniques, semantic web and ontologies, parallel computing and optimization techniques, and constraint satisfaction and optimization.

Among the recent papers authored by Michael Hanus are the following:

  • Combining Static and Dynamic Contract Checking for Curry, 2020, published in Fundamenta Informaticae
  • From Logic to Functional Logic Programs, 2022, published in Theory and Practice of Logic Programming
  • Adding Data to Curry, 2020, published in Lecture Notes in Computer Science
  • Memoized Pull-Tabbing for Functional Logic Programming, 2021, published in Lecture Notes in Computer Science
  • A Logic Programming Approach to Reaction Systems, 2020, published in arXiv (Cornell University)

Frequent coauthors collaborating with Michael Hanus include:

  • Claudio Sacerdoti Coen
  • Atsushi Igarashi
  • Finn Teegen
  • Sergio Antoy
  • Andy Jost

Publication venues where Michael Hanus has frequently contributed are:

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

Michael Hanus has also contributed to academic books published by Springer Science+Business Media. Titles include:

  • Functional and Constraint Logic Programming, 2021
  • Functional and Logic Programming, 2022
  • Practical Aspects of Declarative Languages, 2023

Best Publications

  • The Integration of Functions into Logic Programming: From Theory to Practice

    Michael Hanus

  • A needed narrowing strategy

    Sergio Antoy;Rachid Echahed;Michael Hanus

  • Curry: an integrated functional logic language (version 0

    Michael Hanus

  • A unified computation model for functional and logic programming

    Michael Hanus

  • Curry: An Integrated Functional Logic Language

    Michael Hanus;Sergio Antoy;Herbert Kuchen;Francisco J. López-Fraguas

  • Functional logic programming

    Sergio Antoy;Michael Hanus

  • Multi-paradigm declarative languages

    Michael Hanus

  • A needed narrowing strategy

    Sergio Antoy;Rachid Echahed;Michael Hanus

  • Operational semantics for declarative multi-paradigm languages

    Elvira Albert;Michael Hanus;Frank Huch;Javier Oliver

  • Curry: A Truly Functional Logic Language

    M Hanus;H Kuchen;JJ Moreno-Navarro

  • Xbase: implementing domain-specific languages for Java

    Sven Efftinge;Moritz Eysholdt;Jan Köhnlein;Sebastian Zarnekow

  • Overlapping rules and logic variables in functional logic programs

    Sergio Antoy;Michael Hanus

  • Functional Logic Programming: From Theory to Curry

    Michael Hanus

  • Compiling Logic Programs with Equality

    Michael Hanus

  • KiCS2: a new compiler from Curry to Haskell

    Bernd Braßel;Michael Hanus;Björn Peemöller;Fabian Reck

  • Higher-order narrowing with definitional trees

    Michael Hanus;Christian Prehofer

  • High-Level Server Side Web Scripting in Curry

    Michael Hanus

  • Compiling Multi-Paradigm Declarative Programs into Prolog

    Sergio Antoy;Michael Hanus

  • Pakcs: The portland aachen kiel curry system

    Michael Hanus;Sergio Antoy;B. Bra el;Martin Engelke

  • Functional Logic Design Patterns

    Sergio Antoy;Michael Hanus

Frequent Co-Authors

Paul Klint
Paul Klint Centrum Wiskunde & Informatica
Wilhelm Hasselbring
Wilhelm Hasselbring Kiel 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 computer science in the USA opens doors to many related fields and flexible learning opportunities. Many students consider online programs to gain expertise while balancing work or other commitments.

For those interested in the foundations of technology, an online bachelor's degree in physics provides a strong analytical background and can complement computer science skills. Another trending area is data analysis, where earning a data science degree can lead to high-demand roles in tech, finance, and business.

Professionals seeking to level up their technical expertise may benefit from an online master’s in electrical engineering degree. This path enables you to delve deeper into fields such as robotics, embedded systems, or communications.

For a quicker route to career advancement, some opt for easy certifications that pay well. These can boost your resume and unlock entry-level tech jobs with less time invested than a full degree.

With a wide range of flexible and affordable online options, there’s a pathway suited for every goal in the tech industry.

Best Scientists Citing Michael Hanus

Trending Scientists