Revantha Ramanayake

Revantha Ramanayake is an Associate Professor in Proof Theory of Non-Classical Logics at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute within the Fundamental Computing Science department. His research focuses on non-classical logics, including substructural, modal, and intermediate systems, with an emphasis on proof theory, decidability, complexity, and automated verification using proof assistants.

He leads the COMWELT grant (2025–2028) on well-quasi-order-based logics and previously managed the UNITARY-IDEAL project (2020–2025). His recent work includes advancements in tableau-based interpolation for dynamic logics, completeness in Lambek calculus variants, and the development of automated reasoning tools for intermediate logics. He co-edits conference proceedings and actively supervises PhD students in formal logic and theoretical computer science.

Key research themes include structural proof theory, automated theorem proving, and applications of proof theory to computational logic problems. His contributions span foundational studies in sequent calculi, decidability analysis, and practical implementations of proof systems.