Chinese
English
Associate Research Fellow/Professor  |  Ko, Hsiang-Shang  
 
contact
education
experience
interests
descriptions
activities
publications
supervised
Personal (New window)
 
 
 
 
 
Personnel Training
 
Assistants
  1. Assistant, ***** Lin, Imperial College London (2024/07–2024/08), summer internship
  2. Assistant, ***** Liu, National Taipei University of Technology (2024/07–2024/08), summer internship
  3. Assistant, ***** Hsu, National Taiwan University (2024/07–2024/08), summer internship
  4. Assistant, ***** Tang, National Taiwan University of Science and Technology (2024/07–2024/08), summer internship
  5. Assistant, ***** Chen, University of California, San Diego (2022/07–2022/08), summer internship
  6. Assistant, ***** Kuo, National Taiwan University (2022/07–2022/08), summer internship
  7. Assistant, ***** Chang, National Cheng Kung University (2022/07–2022/08), summer internship
  8. Assistant, ***** Lin, "Datatype-generic programming with elaborator reflection", IIS (2021/03–2022/12)
  9. Assistant, ***** Shih, "Coinductive tree traversals and attribute grammars", IIS (2020/09–2024/07)
  10. Assistant, ***** Chiang, "Modal type theory", IIS (2020/07–2021/01)
  11. Assistant, ***** Lee, Imperial College London (2020/07–2020/08), summer internship
  12. Assistant, ***** Chang, National Taiwan University (2020/07–2020/08), summer internship
  13. Assistant, ***** Chang, "Formally verified snapshot-consistent flash translation layer & Weakly durable transactional database systems", IIS (2020/01–2021/05)
 
 
bg