D.R.S. (Revantha) Ramanayake, Prof
Assistant Professor
E-mail:
d.r.s.ramanayake rug.nl
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)