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

See links below for open PhD and Postdoctoral positions (till 15 June 2021)
Last modified:02 June 2021 12.27 p.m.

Contact information