instructor (Lehrbauftragter), FU Berlin, Department of Computer Science 1989-1991; University of Hamburg, Department of Philosophy, summer term 1993; University of Leipzig, Department of Logic and Philosophy of Science, summer term 2005; University of Göttingen, Department of Philosophy, winter term 2009/2010