Summer Interns

• 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