Michael Hanus

• Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (I have written an 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 and KiCS2. I also 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
• Type systems for logic programming languages
• Software engineering for declarative programming
• Applications, like web programming, e-learning, embedded system programming, etc.

• 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 Programmiersprachen und Rechenkonzepte der German Informatics Society (Gesellschaft für Informatik e.V.) (Sprecher 2004-2010)
• 13th International Symposium on Functional and Logic Programming (FLOPS 2016) (program committee member)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015) (program committee member)
• 31st International Conference on Logic Programming (ICLP 2015) (program committee member)
• 26th International Conference on Rewriting Techniques and Applications (RTA 2015) (program committee member)
• 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) (program committee member)
• International Joint Conference on Artificial Intelligence (IJCAI 2015)
• Third International Workshop on Verification and Program Transformation (VPT 2015) (program committee member)
• 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014) (program committee member)
• 28th Workshop on (Constraint) Logic Programming (WLP 2014) (program committee member)
• 30th International Conference on Logic Programming (ICLP 2014) (program committee member)
• International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (CICLOPS-WLPE 2014) (program committee member)
• Seventh Working Conference on Programming Languages (7. Arbeitstagung Programmiersprachen, ATPS 2014) (program committee member)
• 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013) (program committee member)
• Organization of the Kiel Declarative Programming Days 2013
• Program committee chair and organization of the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013)
• 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013) (program committee member)
• Sixth Working Conference on Programming Languages (6. Arbeitstagung Programmiersprachen, ATPS 2013) (program committee member)
• 26th Workshop on (Constraint) Logic Programming (WLP 2012) (program committee member)
• 21st Workshop on Functional and (Constraint) Logic Programming (WFLP 2012) (program committee member)
• Fifth Working Conference on Programming Languages (5. Arbeitstagung Programmiersprachen, ATPS 2012) (program committee member)
• 25th Workshop on (Constraint) Logic Programming (WLP 2011) (program committee member)
• International Symposium on Principles and Practice of Declarative Programming (PPDP 2011) (program committee member)
• 20th Workshop on Functional and (Constraint) Logic Programming (WFLP 2011) (program committee member)
• Invited talk at the 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)
• 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011) (program committee member)
• 12th International Symposium on Trends in Functional Programming (TFP 2011) (program committee member)
• 24th Workshop on (Constraint) Logic Programming (WLP 2010) (program committee member)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010) (program committee member)
• Eleventh Symposium on Trends in Functional Programming (TFP 2010) (program committee member)
• Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (program committee member)
• 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010) (program committee member)

Scientific activities before 2010

• Systematic debugging in declarative languages (in German),
  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