D.R.S. (Revantha) Ramanayake, Prof
Associate Professor in Proof Theory of Non-Classical Logics
E-mail:
d.r.s.ramanayake rug.nl
I am the coordinator and lecturer for the following courses in the BSc Computing Science programme:
-
Computational Complexity (WBCS044-05): a third-year course on computational complexity;
-
Algorithmic Programming Contests (WBCS045-05): a second-year course introducing and preparing students for algorithmic programming contests
I am a lecturer for the following course in the MSc Computing Science programme:
-
Modal Logic and Proof Theory (WMCS027-05): a graduate-level introduction to modal logic and proof theory
I (co)supervise BSc and MSc students on various topics related to my research interests.
| Last modified: | 31 March 2025 5.39 p.m. |