Universiteit van Amsterdam

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.