Curriculum Vitae of Michael Hanus

Positions and degrees:

1978-84:	Study of Computer Science, University of Dortmund
1984-90:	Research assistant, University of Dortmund
1988:	Ph.D. degree (Dr. rer. nat.), University of Dortmund
1991:	Professor of Computer Science, University of Bielefeld
1992-94:	Researcher at the Max-Planck-Institut für Informatik in Saarbrücken
1994:	Habilitation in Computer Science, University of Saarbrücken
1995-99:	Professor of Computer Science, RWTH Aachen
since 2000	Professor of Computer Science, Christian-Albrechts-Universität zu Kiel

Research:

My research activity is mainly concerned with the integration of functional and logic programming languages, the design and implementation of declarative programming languages, type systems for logic programming, analysis techniques for declarative programs, programming environments and applications of declarative languages. I have published more than ninety papers on these topics in international conference proceedings, journals and books. Concerning larger software projects, I guided during 1986-88 a project on the implementation of a compiler for full Prolog and during 1989-91 a project on an efficient compiler-based implementation of the functional logic language ALF. Currently, I am involved in the design, implementation, and application of the multi-paradigm declarative language Curry where I have several nationally and internationally funded research projects.

Program committee memberships:

9. GLP-Workshop on Logic Programming, Hagen, 1993
LPAR'94 (5th International Conference on Logic Programming and Automated Reasoning), Kiew, 1994
ICLP'94-Workshop ``Integration of Declarative Paradigms'', Santa Margherita Ligure, 1994
ILPS'94 (International Logic Programming Symposium), Ithaca, 1994
PLILP'95 (7th International Symposium on Programming Languages, Implementations, Logics and Programs), Utrecht, 1995
ILPS'95 (International Logic Programming Symposium), Portland, 1995
11. GLP-Workshop on Logic Programming, Vienna, 1995
ELP'96 (5th International Workshop on Extensions of Logic Programming), Leipzig, 1996
Dagstuhl-Workshop ``Integration of Functional and Logic Programming'', 1996
PC Chair of ALP'96 (5th International Conference on Algebraic and Logic Programming), Aachen, 1996
12. GLP-Workshop on Logic Programming, Munich, 1997
German Working Conference on Programming Languages (part of GI'97), Aachen, 1997
PC Co-Chair of ALP'97 (6th International Conference on Algebraic and Logic Programming), Southampton, 1997
ILPS'97 (International Logic Programming Symposium), Long Island, 1997
RTA'98 (Ninth International Conference on Rewriting Techniques and Applications), Tsukuba (Japan), 1998
Workshop on Principles of Abstract Machines (in conjunction with the Joint International Symposia SAS'98 and PLILP/ALP'98), Pisa, 1998
13. GLP-Workshop on Logic Programming, Vienna, 1998
Workshop on Functional and Declarative Programming in Education (DPE'99), Paris, 1999
Second International Workshop on Component-Based Software Development in Computational Logic (COCL'99), Paris, 1999
International Workshop on Implementation of Declarative Languages (IDL'99), Paris, 1999
German Working Conference on Programming Languages (part of GI'99), Paderborn, 1999
ICLP'99 (International Conference on Logic Programming), Las Cruces (New Mexico), 1999
14. GLP-Workshop on Logic Programming, Würzburg, 2000
LOPSTR'2000 (Tenth International Workshop on Logic-based Program Synthesis and Transformation, part of the First International Conference on Computational Logic (CL'2000)), London, 2000
15. GLP-Workshop on Logic Programming, Würzburg, 2000
5th International Symposium on Functional and Logic Programming (FLOPS 2001)
PC Chair of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
11th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2001), Cyprus, 2001
2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02), Portland (Oregon), 2002
12th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2002), Copenhagen, 2002
Workshop on Algorithmic Aspects of Advanced Programming Languages 2002 (WAAAPL'02)
Sixth International Symposium on Functional and Logic Programming (FLOPS 2002)
International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
International Workshop on Functional and Declarative Programming in Education (FDPE'02), Pittsburgh, 2002
International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'02)
International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), Valencia, 2003
2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'03)
PC chair of the 18th Workshop on (Constraint) Logic Programming (WLP 2004), Potsdam, 2004
Seventh International Symposium on Functional and Logic Programming (FLOPS 2004)
Sixth International Symposium on Practical Aspects of Declarative Languages (PADL 2004), Dallas (Texas), 2004
13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004), Aachen, 2004
5th International Workshop on Rule-Based Programming (RULE 2004), Aachen, 2004
First International Workshop on Teaching Logic Programming (TeachLP 2004), Saint Malo, 2004
3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04), Saint Malo, 2004
PC co-chair of the Third Working Conference on Programming Languages, Ulm, 2004
Organization of the 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04)
19th Workshop on (Constraint) Logic Programming (WLP 2005)
7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005)
Organization of the International Workshop on Functional and Declarative Programming in Education (FDPE'05), Tallinn, 2005
Program co-chair of the Workshop on Curry and Functional Logic Programming (WCFLP 2005), Tallinn, 2005
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), London, 2005
20th Workshop on (Constraint) Logic Programming (WLP 2006), Vienna, 2006
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), Venice, 2006
Program co-chair of the Fourth Working Conference on Programming Languages (ATPS 2006), Dresden, 2006
15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), Madrid, 2006
Program committee chair of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), Nice, 2007
16th Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), Paris, 2007
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), Lyngby, 2007
Workshop on Logic-based Methods in Programming Environments (WLPE'07), Porto, 2007
Program committee chair of the 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, 2007
Ninth Symposium on Trends in Functional Programming (TFP 2008)
Program committee chair of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2008), Valencia, 2008
International Workshop on Functional and Declarative Programming in Education (FDPE'08), Victoria, 2008
22nd Workshop on (Constraint) Logic Programming (WLP 2008), Dresden, 2008
Member in the Editorial Board of the Journal of Functional and Logic Programming

Invitations to conferences:

Invited talk at the 4th International Symposium on Programming Language Implementation and Logic Programming, Leuven, 1992
Invited panelist at the International Logic Programming Symposium, Portland (Oregon), 1995
Invited talk at the Third Advanced Seminar on Foundations of Declarative Programming, Semantics, Extensions and Applications, Valencia, 1996
Invited contribution to the ACM Workshop on Strategic Directions in Computing Research, MIT, 1996
Invited tutorial at the Second International Fuji Workshop on Functional and Logic Programming, Shonan Village (Japan), 1996
Invited talk at the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), Grado (Italien), 1997
Invited tutorial at the 12th GLP-Workshop on Logic Programming, Munich, 1997
Invited tutorial at the International Logic Programming Symposium, Port Jefferson (New York), 1997
Invited talk at the 13th Meeting of the IFIP Working 2.8 on Functional Programming, Warm Springs (Oregon), 1998
Invited talk at the Tenth Benelux Workshop on Logic Programming (Benelog 1998), Amsterdam, 1998
Invited tutorial at the First International Conference on Computational Logic (CL'2000), London, 2000
Invited panelist at the International Workshop on Reduction Strategies in Rewriting and Programming, Utrecht (The Netherlands), 2001
Invited panelist at the International Conference on Logic Programming, Sitges (Spain), 2005
Invited tutorial at the International Conference on Logic Programming, Porto (Portugal), 2007

Michael Hanus