News and Events: Projects and Awards

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.

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