I am a lecturer at the Department of Philosophy, University of Konstanz, and a postdoc in the research project “Forcing: Conceptual Change in the Foundations of Mathematics”.

My current research interests lie in the field of integrated history and philosophy of formal sciences, in particular recent developments in mathematical logic (set theory) and its philosophy. I am also developing a research interest in the philosophy of programming languages from the perspective of philosophy of language.

I continue to work on the history of philosophy of science and scientific philosophy (Paul Feyerabend, Logical Empiricism).