• Nijenborgh9

    9747 AG Groningen

    Netherlands

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Speerpunten

  • 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)

Netwerk

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of