PhD in Mathematics, University of Bonn, 1988
Postdoc – Institute for Computational Linguistics, Stuttgart, 1988-1993
Researcher/lecturer – Max Planck Institute for Computer Science, Saarbrücken, 1993-2002
Researcher at the University of Luxembourg, 2002-now
Co-founder of the Interdisciplinary Lab for Intelligent and Adaptive Systems, 2004
Senior Researcher at the Individual and Collective Reasoning Group, 2008-now
Theoretical Foundations of Artificial Intelligence
Foundations of mathematics, especially set theory
Logic and Knowledge Representation
Nonmonotonic Reasoning
Logic of Scientific Reasoning
Cognitive Dynamics
SEMARG – Nonmonotonic Semantics of Argumentation
RATARCH – Rational Architecture
Selected Topics in Artificial Intelligence,
Intelligent Agents I (Knowledge Representation)
: For technical and principled reasons, the following list of publications is currently quite incomplete.