Michael Hanus
Professor of Computer Science
|
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
- 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)
-
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
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 4. Arbeitstagung Programmiersprachen (Fourth 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)
- 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