CP's Former Affiliations
- 1991-1997
-
AG Avenhaus
Madlener,
FB Informatik,
Univ. Kaiserslautern,
Kaiserslautern
- 1997
-
AI RG,
FB Informatik,
Univ. Koblenz,
Koblenz
- 1998-2000
-
Research Group Functional-Logic Development & Implementation Techniques,
Univ. Dortmund,
D-44221
Dortmund
- 2001-2009
-
AG Siekmann,
FB Informatik,
Saarland University,
Saarbrücken
- 2009
-
Programming Logics Group of Christoph Weidenbach,
Max Planck Institute for Informatics,
Saarbrücken
- 2010
- SICSA Distinguished Visiting Fellowship,
School of Informatics of the University of Edinburgh,
School of Mathematical and Computer Science at Hariot--Watt-University
(Edinburgh),
School of Computer Science at the Universtiy of St. Andrews,
School of Computer Science at University of Glasgow,
Computing Science Department of the University of Aberdeen,
Scotland