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.
Last modified: | 16 January 2024 10.47 a.m. |
More news
-
12 June 2025
Those most affected by modern agriculture
Farmers only grow a limited number of crops these days, which has significant consequences for the animals that live there. Raymond Klaassen researches what adjustments farmers could make to improve the conditions for the species most affected by...
-
06 June 2025
India-Netherlands Hydrogen Valley Fellowship Programme announced
To coincide with World Environment Day, 5 June 2025, the Indian Department of Science and Technology and the University of Groningen yesterday announced a Hydrogen Valley Fellowship Programme Partnership, allowing talented Indian scholars working on...
-
05 June 2025
The self-reliant plant
Kira Tiedge investigates the chemical substances that plants use to communicate with their environment, to select robust varieties that can better withstand challenging circumstances such as diseases or drought.