Michael Hanus Professor of Computer Science Contact details: Postal address: Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel Olshausenstr. 40 D-24098 Kiel Germany Visiting address: Room 706 (7th floor) Christian-Albrechts-Platz 4 D-24118 Kiel Phone: +49-431/880-7271 (Secr.: -7270) Fax: +49-431/880-7613 Email: mh@informatik.uni-kiel.de

• Research Interests
• Scientific Activities
• Teaching Activities (in German)
• Publications
  • Journal/Conference/Workshop Papers (also: sorted by topic)
  • Technical Reports
  • Other stuff
  • List of my coauthors, my DBLP entry, my Citeseer citations
• Slides of some talks
• Miscellaneous: Curriculum Vitae, my PGP(GPG) public key,
• My favorite search engine: Google

Research Interests

• Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (>here< is my survey on this subject).
  Currently, I am involved in the design of the new 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.

Some recent projects

• KernLernWerk: Supporting self-responsible e-learning methods (in German)

• Development of credit point systems in computer science and electrical engineering (in German)

Recent Scientific Activities

• Editorial board member of the Journal of Functional and Logic Programming

• 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)

• Organization of the 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04)
  (part of the 20th International Conference on Logic Programming (ICLP'04))

• Program co-chair of the 3. Arbeitstagung Programmiersprachen (Third Working Conference on Programming Languages, in German)

• Program committee member of the First International Workshop on Teaching Logic Programming (TeachLP 2004)

• Program committee member of the 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004)

• Program committee member of the 5th International Workshop on Rule-Based Programming (RULE 2004)

• Program committee member of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL 2004)

• Program committee member of the Seventh International Symposium on Functional and Logic Programming (FLOPS 2004)

• Program chair of the 18th Workshop on (Constraint) Logic Programming (WLP 2004)

• Organization of the 2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'03)
  (part of the Ninth International Conference on Principles and Practice of Constraint Programming (CP2003))

• Program committee member of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003)

• Organization of the International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'02)
  (part of the Eighth International Conference on Principles and Practice of Constraint Programming (CP2002))

• Organization of the International Workshop on Functional and Declarative Programming in Education (FDPE'02)

• Program committee member of the International Workshop on Logic Based Program Development and Transformation (LOPSTR'02)

• Program committee member of the Workshop on Algorithmic Aspects of Advanced Programming Languages 2002 (WAAAPL'02)

• Program committee member of the Sixth International Symposium on Functional and Logic Programming (FLOPS 2002)

• Program committee member of the Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)

• Program committee member of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)

• Program committee member of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)

• Program committee member of the 11th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2001)

• Program chair and organization of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)

• Program committee member of the 5th International Symposium on Functional and Logic Programming

• Program committee member of the 15th Workshop on Logic Programming and Constraint Systems

• Tutorial on Functional Logic Programming at the First International Conference on Computational Logic (CL'2000))

• Program committee member of the Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'2000) (part of the First International Conference on Computational Logic (CL'2000))

• Tutorial on Multi-Paradigm Programming at the European Joint Conferences on Theory and Practice of Software (ETAPS)