Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Yde Venema is awarded an NWO TOP Grant

venema.jpg
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.

Please note that this newsitem has been archived, and may contain outdated information or links.