Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Michael Hanus

Michael Hanus

Professor of Computer Science

Research Interests

Scientific Activities

Teaching Activities
(in German)

Projects

Publications:

	Papers (by year)
	Papers (by topic)
	Technical reports
	Other stuff
	My coauthors
	DBLP entry
	Citeseer citations
	ACM author profile
	Google scholar

Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (I have written an older survey and a newer 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.

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 25th International Conference on Logic Programming (ICLP 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 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

Former scientific activities

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)

Michael Hanus