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

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.