Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
Close
About us Practical matters How to find us D.R.S. (Revantha) Ramanayake, Prof

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

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

Field/Discipline

Expertise

Non-classical logics, proof theory, theorem proving, proof assistants.
Last modified:24 February 2025 07.46 a.m.

Contact information

Nijenborgh 9
9747 AG Groningen
The Netherlands

Links

Follow the UGfacebook linkedin rss instagram youtube
Functional
Provides basic functions and uses anonymized cookies.
Standard
Provides optimal operation and uses video cookies, among others.
Complete
Provides personalized content and uses marketing cookies.
Set your cookie preferences. Read our privacy and cookie disclaimer for more information.