Michael Hanus

Research Interests

• Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (I have written an often cited older survey, a newer survey, and a short review on this subject).
  I am involved in the design of the multi-paradigm declarative language Curry and the implementation of Curry with PAKCS, KiCS2, and Curry2Go. In ancient times, I led a project to build the ALF system, an older algebraic functional logic language.
• Abstract interpretation of logic, functional logic and constraint logic programming languages
• Implementation of declarative programming languages
• Verification of declarative programs
• Software engineering for declarative programming
• Applications, like web programming, e-learning, embedded system programming, etc.

Conference Activities

Some proceedings of international conferences edited by me:

                         

Recent conference activities:

• 27th International Symposium on Practical Aspects of Declarative Languages (program committee member)
• 38th Workshop on (Constraint) Logic Programming (WLP 2024), part of the German Conference on Artificial Intelligence (KI 2024) (program committee member)
• 34th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2024) (program committee member)
• 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023) (program committee member)
• 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) (program committee member)
• 37th Workshop on (Constraint and Functional) Logic Programming (WLP 2023), part of the German Conference on Artificial Intelligence (KI 2023) (program committee member)
• Program committee co-chair of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
• 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) (program committee member)
• 36th Workshop on (Constraint) Logic Programming (WLP 2022), part of the German Conference on Artificial Intelligence (KI 2022) (program committee member)
• 38th International Conference on Logic Programming (ICLP 2022) (program committee member)
• Program committee co-chair of the 16th International Symposium on Functional and Logic Programming ( FLOPS 2022 )
• Tenth International Workshop on Verification and Program Transformation (VPT 2022) (program committee member)
• Organization of the 21st Colloquium on Programming Languages and Foundations of Programming (KPS 2021)
• 35th Workshop on (Constraint) Logic Programming (WLP 2021), part of the German Conference on Artificial Intelligence (KI 2021) (program committee member)
• 37th International Conference on Logic Programming (ICLP 2021) (program committee member)
• 31st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2021) (program committee member)
• Program committee co-chair of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020) (part of the Bologna Federated Conference on Programming)
• 34th Workshop on Logic Programming (WLP 2020) (part of the German Conference on Artificial Intelligence (KI 2020)) (program committee member)
• 36th International Conference on Logic Programming (ICLP 2020) (program committee member)
• 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020) (program committee member)
• 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020) (program committee member)
• 15th International Symposium on Functional and Logic Programming (FLOPS 2020) (program committee member)
• Conference activities before 2020

Other Scientific Activities

• Member of the steering committee of the International Symposium on Functional and Logic Programming
• Chair of the steering committee of the Symposium on Principles and Practice of Declarative Programming (2012 - 2014)
• Member of the steering committee of the International Symposium on Logic-based Program Synthesis and Transformation (2008 - 2014)
• Editorial board member of the Journal of Functional and Logic Programming
• Gesellschaft für Logische Programmierung e.V. (GLP), local branch of the Association for Logic Programming (ALP) (stellvertretender Sprecher und Fachbeirat)
• Fachgruppe Deklarative Programmierung des Fachbereichs für Künstliche Intelligenz der German Informatics Society (Gesellschaft für Informatik e.V.) (stellvertretender Sprecher)
• Fachgruppe Programmiersprachen und Rechenkonzepte der German Informatics Society (Gesellschaft für Informatik e.V.) (Sprecher 2004-2010, old web pages)

Selected Projects

• 
  HPSV - Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry,
  supported by BMBF, 2016-2019
• Systematic debugging in declarative languages,
  supported by DFG, 2004-2009
• Implementation of instrumented semantics for declarative multi-paradigm languages
  (bilateral project with Portland State University),
  supported by DAAD, 2007-2009
• KernLernWerk: Supporting self-responsible e-learning methods (in German),
  supported by EU, 2002-2004
• Development of credit point systems in computer science and electrical engineering (in German),
  supported by BLK, 2001-2004
• An analysis and programming environment for declarative languages) (in German),
  supported by DFG, 1998-2004
• Debugging techniques for multi-paradigm declarative programs
  (bilateral project with Technical University of Valencia),
  supported by DAAD, 2002-2003
• Advanced techniques for declarative multi-paradigm languages
  (bilateral project with Portland State University),
  supported by DAAD, 2000-2002
• Extending declarative languages by time aspects
  (bilateral project with IMAG Grenoble),
  supported by DAAD, 1999-2001
• Optimization of declarative Programs by semantics-based program transformation
  (bilateral project with Technical University of Valencia),
  supported by DAAD, 1998-1999
• ABILE (Human Capital and Mobility Network on Abstract Interpretation)
  supported by EU, 1995-1997