I'm very happy to announce that the NWO has awarded me a Veni grant for my proposal "A Trustworthy and Extensible Core Language for Agda". Now it's time to start working to make good on these great expectations in the coming 3 years!
Quote Tweet
162 researchers awarded a NWO Veni grant. The laureates will conduct research on a variety of subjects such as methods for 3D microscopy of human brain tissue, metabolic potentiation of vaccine, kidney sales among migrants and CO2 storage in lakes: nwo.nl/en/news/162-re
13
12
94
