What is he best known for?
The fields of study he is best known for:
- Programming language
- Functional programming
- Object-oriented programming
Michael Hanus spends much of his time researching Programming language, Functional logic programming, Logic programming, Curry and Declarative programming.
His Functional logic programming research incorporates elements of Functional programming, Soundness and Artificial intelligence, Prolog.
In his work, Dynamic logic is strongly intertwined with Description logic, which is a subfield of Logic programming.
His Curry research is multidisciplinary, relying on both Data type and Combinatory logic.
Michael Hanus focuses mostly in the field of Declarative programming, narrowing it down to matters related to Fifth-generation programming language and, in some cases, Inductive programming.
The Programming paradigm study combines topics in areas such as Rewriting and Term.
His most cited work include:
- The Integration of Functions into Logic Programming: From Theory to Practice (408 citations)
- A needed narrowing strategy (227 citations)
- Curry: an integrated functional logic language (version 0 (199 citations)
What are the main themes of his work throughout his whole career to date?
Michael Hanus focuses on Programming language, Functional logic programming, Logic programming, Declarative programming and Theoretical computer science.
His Programming language research focuses on Curry, Programming paradigm, Fifth-generation programming language, Functional programming and Prolog.
His Functional logic programming research integrates issues from Combinatory logic, Semantics and Compiler.
His Logic programming research focuses on Multimodal logic and how it relates to Higher-order logic.
His Declarative programming research incorporates themes from Constraint programming, First-generation programming language, Entity–relationship model, Programming domain and Implementation.
His study explores the link between Theoretical computer science and topics such as Operational semantics that cross with problems in Rewriting and Correctness.
He most often published in these fields:
- Programming language (73.87%)
- Functional logic programming (50.75%)
- Logic programming (44.72%)
What were the highlights of his more recent work (between 2012-2020)?
- Programming language (73.87%)
- Functional logic programming (50.75%)
- Curry (24.62%)
In recent papers he was focusing on the following fields of study:
His main research concerns Programming language, Functional logic programming, Curry, Logic programming and Declarative programming.
His Functional logic programming research includes elements of Theoretical computer science, Expression, Compiler and Computation.
His study looks at the relationship between Curry and fields such as Constraint satisfaction problem, as well as how they intersect with chemical problems.
Michael Hanus combines subjects such as Documentation and Modular design with his study of Logic programming.
His study in Declarative programming is interdisciplinary in nature, drawing from both Relational database and Entity–relationship model.
His work in Fifth-generation programming language addresses subjects such as Artificial intelligence, which are connected to disciplines such as Comparison of multi-paradigm programming languages.
Between 2012 and 2020, his most popular works were:
- Functional Logic Programming: From Theory to Curry (65 citations)
- CurryCheck: Checking Properties of Curry Programs (9 citations)
- A modular and generic analysis server system for functional logic programs (9 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Functional programming
- Object-oriented programming
His primary scientific interests are in Programming language, Functional logic programming, Curry, Logic programming and Semantics.
His Programming language study frequently draws parallels with other fields, such as Theoretical computer science.
Michael Hanus has researched Functional logic programming in several fields, including Combinatory logic and Relational database, Entity–relationship model.
As a part of the same scientific study, he usually deals with the Curry, concentrating on Artificial intelligence and frequently concerns with Fifth-generation programming language, Inductive programming and Comparison of multi-paradigm programming languages.
His research investigates the link between Logic programming and topics such as Program analysis that cross with problems in Documentation and Modular design.
His Semantics research includes themes of Signature, Parameterized complexity and Source code.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
