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.

VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
Last modified:25 June 2022 12.06 p.m.

Contact information