Researcher & Software Engineer
Email: hyuksoon (at) postech.ac.kr
Discord: nooskuyh
Research Interests: Formal Methods, Concurrency, Distributed System, Programming Languages (+) HCI, Numerical Analysis
Courage is resistance to fear, mastery of fear - not absence of fear.