Summer Interns

Willy Ho Lok Chan 陳澔樂, Towards Formalization of Abstract Simplicial Complexes in Cubical Agda (abstract), 2026
Yu-Chun Yeh 葉宥均, Patch Theory in Cubical Agda (abstract), 2026
Hok Ip Chow, Formalising Formalising Pédrot’s Prefascist CwF with Π-types in Agda (abstract), 2026
Yi-Ting Lo 羅翊庭, A Security Analysis of a Cryptographic Handshake Protocol (abstract), 2025
Anderson Wu 吳智堯, Propositions as Descriptions of Universes of Types and their Categorical Structures, 2025
Yu-Chuan Yu 游棫荃, Bridging Combinatorial and Algebraic proof: An Algebraic Approach with Agda (abstract), 2024
Ting-Wu Chang 張庭梧, Constructions and Properties of the Heighway Dragon Curve Formalized in Agda (abstract), 2024
Wen Chun Kao 高文君, Verification of Correctness and Time Complexity of Skew Binomial Heap via CALF (abstract), 2024
Chih-Hsiang Chuang 莊智翔, Circuit Realization of Truth Tables and Boolean Functions in Agda (abstract), 2024