Skip to ContentSkip to Navigation
Research Bernoulli Institute

M-grant for Ravantha Ramanayake

15 January 2024
Revantha Ramanayake
Revantha Ramanayake

Revantha Ramanayake (Fundamental Computing) has been awarded a grant by the NWO (Dutch Research Council) in the Open Competition Domain Science-M programme.

He receives the EUR 376,000 funding for his research proposal 'A mathematical recipe for taming logical complexity'.

The project description is: Logic is the study of reasoning. Diverse scenarios require diverse forms of reasoning and hence a multitude of logics are utilised in computer science (and beyond). Applications range from reasoning about memory usage, to computational linguistics, to fuzzy reasoning systems. For each logic, the foundational questions are the same: is there an algorithm to decide if a statement is true, and if so, what is its running time? This proposal will isolate a certain mathematical feature and exploit it to target novel computational results in many different logics.

M-grants are intended for innovative, high-quality, fundamental research and/or studies involving matters of scientific urgency.

Last modified:15 January 2024 4.41 p.m.

More news

  • 11 December 2023

    Join the 'Language and AI' community

    As a part of the Jantina Tammes School, the 'Language and AI' theme is an interdisciplinary initiative that aims to encourage collaboration among academics, PhD candidates, students, and industry representatives who share a keen interest in the...

  • 13 October 2023

    Moniek Tromp appointed Captain of Science of the Top Sector Chemistry

    Prof. Moniek Tromp has been appointed Captain of Science of the Chemistry Top Sector by the Minister of Economic Affairs and Climate Policy. As from 1 July 2023, she succeeded Prof. Bert Weckhuysen from Utrecht University.

  • 12 September 2023

    Art in times of AI

    Leonardo Arriagada Beltran conducted his PhD research on the interface of computer-generated art and the constantly evolving field of Artificial Intelligence (AI). He will defend his Phd thesis on 21 September. His research offers valuable insights...