Research Overview

I'm a joint PhD candidate in Logic, Language and Computation at the Institute for Logic, Language and Computation, University of Amsterdam, and the Arché Research Centre, University of St Andrews.

Research Interests

I love solving problems with formal methods.

  • logic, esp. proof theory, substructural and relevant logics, multi-valued logics
  • language, esp. formal semantics, proof-theoretic semantics, inferentialism, modalities
  • science, esp. feminist and formal approaches, theory choice, value-ladenness, underdetermination
  • history, esp. Oxford Calculators, Vienna Circle, Carnap

Background

My supervisors are Greg Restall…

Read more