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.
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...
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.
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...
The UG website uses functional and anonymous analytics cookies. Please answer the question of whether you want to accept
or reject other cookies (such as tracking cookies).
If no choice is made, only basic cookies will be stored. More information