The 2018/2019 project in this category is titled:

Homotopy Type Theory and Univalent Foundations

The research project aims at further exploring this novel foundation of mathematics, and apply it to verify some challenging mathematical theories.


To read about former and future projects in Natural Sciences, Medicine and Mathematics click here.

Learn about CAS research projects in the other two categories: Social Sciences and Law and Humanities and Theology.

The application portal for the 2021/22 academic year will open in October 2018. Read more about the application process here.