News and Events: Projects and Awards

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

Taichi Uemura receives best student paper award at Conference on Homotopy Type Theory

At the Conference on Homotopy Type Theory which took place last August in Pittsburgh, Taichi Uemura won the Best Student Paper Award for his work on the semantics of type theory.

For more information, see https://hott.github.io/HoTT-2019/programme/ or contact Taichi Uemura at .

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