Research Overview

I am doing a joint PhD in Philosophy, Logic, Language and Computation at the University of St Andrews and the Institute for Logic, Language and Computation of the University of Amsterdam.

Research Interests

A fan of the mathematical philosophy movement, I love applying all kinds of formal methods to philosophical problems.

  • logic: proof theory, sequent calculi, classical logic, multi-valued logics, intuitionistic logic, modal logics, relevance logics
  • philosophy of language: formal semantics, proof-theoretic semantics, inferentialism, modalities
  • philosophy of science: feminist approaches, theory choice, value-ladenness, u…
Read more