• Nijenborgh9

    9747 AG Groningen


If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

  • Non-classical logics (substructural, modal, intermediate logics) and their applications in theoretical computer science
  • Using proof theory to investigate various aspects of logics, like decidability, complexity, interpolation
  • Structural proof theory: relative expressivity of proof formalisms
  • Development of interactive/automated verification of structural proof theory using proof assistants
  • Formal logics for the provability predicate of arithmetic (provability logics)

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or