|
Assistant Research Fellow/Professor | Ko, Hsiang-Shang |
|
|
|
|
|
Personnel Training |
|
Assistants- Assistant, ***** Lin, "datatype-generic programming with elaborator reflection", IIS (2021/03–2022/12), moving to industry
- 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
|
|
|
|
|
|
|
 |
|
|
|