Projects

• Univalent Swap Algebras (UNISWA), Department of Computer Science, University of Verona, Dec 2022-Dec 2024.
• LMUexcellent-Project: Constructive and Predicative Measure Theory (CPMT), Mathematics Institute LMU, 2021.

Last modified: 26.11.2022