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