I am a visiting scholar at the Department of Philosophy, University of Konstanz, Germany. Previously, I was a postdoc in the research project “Forcing: Conceptual Change in the Foundations of Mathematics”. I also work in information security.

My main research interests lie in the history of philosophy of science and scientific philosophy (Paul Feyerabend, Logical Empiricism) as well as the field of integrated history and philosophy of the 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 at the crossroads between philosophy of technology and language.