Skip to ContentSkip to Navigation
About us Practical matters How to find us D.R.S. (Revantha) Ramanayake, PhD

D.R.S. (Revantha) Ramanayake, PhD

Assistant Professor
Profile picture of D.R.S. (Revantha) Ramanayake, PhD
E-mail:
d.r.s.ramanayake rug.nl

Expertise

Non-classical logics, proof theory, theorem proving, proof assistants.
Last modified:01 March 2024 2.32 p.m.

Contact information