Curriculum Vitae:

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 two hundred 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)
• 17th Workshop on Functional and (Constraint) Logic Programming (WFLP 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
• Tenth Symposium on Trends in Functional Programming (TFP 2009)
• 10th International Workshop on Termination (WST09)
• 18th Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
• 9th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2009)
• 25th International Conference on Logic Programming (ICLP 2009)
• 11th International Symposium on Principles and Practice of Declarative Programming (PPDP 2009)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2009)
• 23rd Workshop on (Constraint) Logic Programming (WLP 2009)
• Program co-chair of the Fourth Working Conference on Programming Languages (4. Arbeitstagung Programmiersprachen)
• 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)
• Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)
• Eleventh Symposium on Trends in Functional Programming (TFP 2010)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)
• 24th Workshop on (Constraint) Logic Programming (WLP 2010)
• 12th International Symposium on Trends in Functional Programming (TFP 2011)
• 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)
• 20th Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)
• Program committee chair of the International Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
• 25th Workshop on (Constraint) Logic Programming (WLP 2011)
• Fifth Working Conference on Programming Languages ( 5. Arbeitstagung Programmiersprachen, ATPS 2012)
• 21st Workshop on Functional and (Constraint) Logic Programming (WFLP 2012)
• 26th Workshop on (Constraint) Logic Programming (WLP 2012)
• Sixth Working Conference on Programming Languages (6. Arbeitstagung Programmiersprachen, ATPS 2013)
• 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
• Invited talk at the 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)