Category Archives: Support

Update (Nov. 13): Application deadline extended to December 1, 2020. PhD students close to finishing their thesis are invited to apply for a Dissertation Fellowship in Homotopy Type Theory. This fellowship, generously funded by Cambridge Quantum Computing and Ilyas Khan, will provide … Continue reading →