Please note that this newsitem has been archived, and may contain outdated information or links.
Yde Venema is awarded an NWO TOP Grant
We are pleased to announce that Yde Venema has been awarded an NWO TOP Grant for his project proposal `Derivation Systems for Modal Fixpoint Logic'. Fixpoints are powerful mechanisms to express important properties in a wide range of logics, and the goal of the research is to develop, study and apply sound and complete proof systems for such logics. The project will fund two PhD students and one postdoc.
For more information, see
https://www.nwo.nl/en/funding/our-funding-instruments/nwo/top-grants/top-grants-physical-sciences/top-grants-physical-sciences-module-1/top-grants-for-curiosity-driven-research-module-1-kopie.html
or contact Yde Venema at Y.Venema at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.