D.R.S. (Revantha) Ramanayake, Prof
Associate Professor in Proof Theory of Non-Classical Logics
E-mail:
d.r.s.ramanayake rug.nl
-
NWO Open Competition Domain Science M1 grant on the Complexities of Well-quasi-order-based Logics through Proof Theory (COMWELT), 2025-2028
-
Austrian Science Fund FWF Stand-Alone Project on Unifying Structural Proof Theory via Bounded Sequent Calculi (UNITARY-IDEAL), 2020-2025
| Last modified: | 31 March 2025 5.41 p.m. |