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. 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.

• Member of the steering committee of the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
• Member of the steering committee of the International Symposium on Logic-based Program Synthesis and Transformation
• 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 Gesellschaft für Informatik e.V. (Sprecher 2004-2010)
• Program committee member of the 21st Workshop on Functional and (Constraint) Logic Programming (WFLP 2012)
• Program committee member of the Fifth Working Conference on Programming Languages ( 5. Arbeitstagung Programmiersprachen, ATPS 2012)
• Program committee member of the 25th Workshop on (Constraint) Logic Programming (WLP 2011)
• Program committee chair of the International Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
• Program committee member of the 20th Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)
• Invited talk at the 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)
• Program committee member of the 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)
• Program committee member of the 12th International Symposium on Trends in Functional Programming (TFP 2011)
• Program committee member of the 24th Workshop on (Constraint) Logic Programming (WLP 2010)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)
• Program committee member of the Eleventh Symposium on Trends in Functional Programming (TFP 2010)
• Program committee member of the Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)
• Program committee member of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)
• Program co-chair of the Fourth Working Conference on Programming Languages (4. Arbeitstagung Programmiersprachen)
• Program committee member of the 23rd Workshop on (Constraint) Logic Programming (WLP 2009)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2009)
• Program committee member of the 11th International Symposium on Principles and Practice of Declarative Programming (PPDP 2009)
• Program committee member of the 25th International Conference on Logic Programming (ICLP 2009)
• Program committee member of the 9th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2009)
• Program committee member of the 18th Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
• Program committee member of the 10th International Workshop on Termination (WST09)
• Program committee member of the Tenth Symposium on Trends in Functional Programming (TFP 2009)
• Program committee member of the 22nd Workshop on (Constraint) Logic Programming (WLP 2008)
• Program committee member of the International Workshop on Functional and Declarative Programming in Education (FDPE'08)
• Program committee chair of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2008)
• Program committee member of the 17th Workshop on Functional and (Constraint) Logic Programming (WFLP 2008)
• Program committee member of the Ninth Symposium on Trends in Functional Programming (TFP 2008)
• Program committee chair of the 21st Workshop on (Constraint) Logic Programming (WLP 2007)
• Program committee member of the Workshop on Logic-based Methods in Programming Environments (WLPE'07)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007)
• Program committee member of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
• Program committee chair of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007)
• Program committee member of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)
• Program co-chair of the Arbeitstagung Programmiersprachen (Working Conference on Programming Languages, in German)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006)
• Program committee member of the 20th Workshop on (Constraint) Logic Programming (WLP 2006)
• Program co-chair of the Workshop on Curry and Functional Logic Programming (WCFLP 2005)
  (part of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005))
• Organization of the International Workshop on Functional and Declarative Programming in Education (FDPE'05)
  (part of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005))
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
• Program committee member of the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005)
• Program committee member of the 19th Workshop on (Constraint) Logic Programming (WLP 2005)

Scientific activities before 2005

• 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