Personnel Training
 
M.S.
  1. M.S., ***** Tsai, "A partial linear algebraic approach to linear metatheory", National Yang Ming Chiao Tung University (2021/09–2025/08)
Assistants
  1. Assistant, ***** Chang, National Taiwan University (2025/07–2025/08), summer internship
  2. Assistant, ***** Wu, National Taiwan University (2025/07–2025/08), summer internship
  3. Assistant, ***** Liu, National Taipei University of Technology (2024/07–2025/06), summer internship & part-time research assistant
  4. Assistant, ***** Tang, National Taiwan University of Science and Technology (2024/07–2024/08), summer internship
  5. Assistant, ***** Lin, Imperial College London (2024/07–2024/08), summer internship
  6. Assistant, ***** Hsu, "Logic programming foundations of dependently typed programming", National Taiwan University (2024/07–), summer internship & part-time research assistant
  7. Assistant, ***** Tsai, "Homotopy type theory, logical relations & normalisation by evaluation, type-theoretic algorithm design, and quotient inductive-inductive-recursive types (collaborating with Liang-Ting Chen)", IIS (2022/08–2025/08), part-time & full-time research assistant
  8. Assistant, ***** Chang, National Cheng Kung University (2022/07–2022/08), summer internship
  9. Assistant, ***** Kuo, National Taiwan University (2022/07–2022/08), summer internship
  10. Assistant, ***** Chen, University of California, San Diego (2022/07–2022/08), summer internship
  11. Assistant, ***** Lin, "Datatype-generic programming with elaborator reflection", IIS (2021/03–2022/12), full-time research assistant
  12. Assistant, ***** Shih, "Coinductive tree traversals and attribute grammars", IIS (2020/09–2024/07), part-time & full-time research assistant
  13. Assistant, ***** Chiang, "Modal type theory", IIS (2020/07–2021/01), full-time research assistant
  14. Assistant, ***** Chang, National Taiwan University (2020/07–2020/08), summer internship
  15. Assistant, ***** Lee, Imperial College London (2020/07–2020/08), summer internship
  16. Assistant, ***** Chang, "Formally verified snapshot-consistent flash translation layer & Weakly durable transactional database systems", IIS (2020/01–2021/05), full-time research assistant (supervised by Yu-Fang Chen)
 
 
bg