My current research covers topics in philosophical logic (modal/coalgebraic logic), category theory and categorical logic, as well as philosophy of mathematics and philosophy of logic. My work is motivated by using and exploring category-theoretic methods in philosophy and logic. This includes issues such as the significance of category theory in the philosophy and foundations of mathematics or philosophy of logic. In logic, amongst others, I am currently interested in abstract Kripke and sheaf semantics. I also have a side interest in historical topics.
Before coming to Munich I studied Logic, Computation, and Methodology at Carnegie Mellon from where I graduated in August 2011.