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

E-mail:
d.r.s.ramanayake rug.nl
Field/Discipline
Expertise
Non-classical logics, proof theory, theorem proving, proof assistants.
VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
Last modified: | 25 June 2022 12.06 p.m. |