Large NWO grant for research into unraveling logical complexity

The Netherlands Organisation for Scientific Research (NWO) has awarded an Open Competition Science-M grant to Dr. Revantha Ramanayake from the Bernoulli Institute (UG). He will receive an M1 grant of EUR 376,000 for research into the computational properties of non-classical logics.

M grants are for innovative and high-quality research with scientific urgency. An M-1 grant is awarded to projects led by one researcher. Dr. Revantha Ramanayake will conduct the research in the Fundamental Computing Group of the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. 

A mathematical recipe for taming logical complexity

Logic is the study of reasoning. Different scenarios use different forms of reasoning so a multitude of logics are used in computer science and beyond. Applications range from reasoning about memory usage, to computational linguistics and “fuzzy” reasoning systems. For any logic, the fundamental questions are: does an algorithm exist to decide whether a theorem is correct, and if so, what is its running time? Ramanayake’s research project focuses on a particular mathematical feature and aims to exploit it to study such computational properties for many different logics.

NWO Open Competition Domain Science-M

M-grants are intended for realizing curiosity-driven, fundamental research of high quality and / or scientific urgency. The grant offers researchers the possibility to elaborate creative and risky ideas and to realise scientific innovations that can form the basis for the research themes of the future.