Researcher & Software Engineer
Email: hyuksoon (at) postech.ac.kr
Discord: nooskuyh
Research Interests: Formal Methods, Concurrency, Distributed System, Programming Languages (+) HCI, Numerical Analysis