Please note that this newsitem has been archived, and may contain outdated information or links.
NWO Top Grants for Benno van den Berg and Ulle Endriss
We are pleased to announce that both Benno van den Berg and Ulle Endriss have been awarded an NWO Top grant. Van den Berg's project is entitled The Computational Content of Homotopy Type Theory and Endriss's project is entitled Customisable Collective Choice.
For more information, see
https://www.uva.nl/over-de-uva/organisatie/faculteiten/faculteiten/faculteiten/content/folder/faculteit-der-natuurwetenschappen-wiskunde-en-informatica/actueel/nieuws/nieuws/content-10/folder/2016/11/top-subsidies-voor-uva-wetenschappers.html.
Please note that this newsitem has been archived, and may contain outdated information or links.