Hsiang-Shang ‘Josh’ Ko 柯向上

I am an associate research fellow (associate professor) at the Institute of Information Science, Academia Sinica, Taiwan. I am interested in the discovery of mathematical and logical structures of computation so that they can be manifested in programming languages and effectively guide the programm…