M-grant for Ravantha 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.