中文版
English
助研究員  |  柯向上  
 
contact
education
experience
interests
descriptions
activities
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Personnel Training
 
Assistants
  1. Assistant, ***** Lin, "datatype-generic programming with elaborator reflection", IIS (2021/03–2022/12), moving to industry
  2. Assistant, ***** Chang, "formally verified snapshot-consistent flash translation layer & weakly durable transactional database systems", IIS (2020/01–2021/05), admitted to the PhD programme at MIT CSAIL
 
 
bg