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

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

Assistant Professor
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:08 November 2021 12.56 p.m.

Contact information