Hyuksoon Jang

Researcher & Software Engineer

Email: hyuksoon (at) postech.ac.kr

Discord: nooskuyh

Research Interests: Formal Methods, Programming Languages, HCI, Numerical Analysis