About Josh Ko

Associate research fellow (associate professor) at the Institute of Information Science, Academia Sinica, Taiwan; works on dependently typed programming, datatype-generic programming, program derivation, etc; enjoys classical music and Taiwanese tea

Lists

Timeline

{username} has no activity yet