jeehoon.kang

Ph.D. Candidate


I’m on the job market this year! I’m looking forward to working on concurrency and parallelism in the near future. Here is my research statement.

Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University

Email: jeehoon.kang (at) sf.snu.ac.kr
GitHub: jeehoonkang
Blog: From Pencil to Metal
Phone: +82-2-880-4165 (office) Place: Room 416, Building 301, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)

Education


Research


My mission as a computer scientist is to formally understand the underlying principles of real-world computer systems, thereby helping programmers to write and reason about those systems. For my Ph.D., I have primarily focused on formally understanding non-blocking concurrent programming, which is an essential ingredient for exploiting parallelism and is becoming more and more important since the slowdown of Moore's law. In the future, as an independent researcher, I would like to apply the understanding of concurrency to building practical verification/analysis tools for concurrent programs. I believe my research will have far-reaching impact on the way the IT industry develops system software. I am maintaining the Crossbeam project, which serves as the de facto standard concurrency library for the Rust programming language. I am also writing a compiler for Furiosa AI's MadRun deep learning accelerator.


Publications



Invited Talks


  • iRRAM-Coq: Fearless Verification of Exact Real Arithmetic Programs.
    In the 1st Workshop on Real Verification (RV 2017).
    [development]

Experience


Awards and Honors


  • Graduate Student Scholarship. Korea Foundation for Advanced Studies. 2015. Mar. – present.
  • Graduate Student Scholarship. Gwanjeong Educational Foundation. 2013. Mar. – 2015. Feb.
  • Republic of Korea Presidential Science Scholarship. Korea Student Aid Foundation. 2007 Mar. – 2013 Feb.
  • Samsung Electronics Scholarship. 2007 Feb. gracefully declined.
  • Samsung Electronics Scholarship. 2006 Jan. – 2007 Feb.
  • 23rd place in ACM International Collegiate Programming Contest (ICPC) World Finals. 2008.
  • Champion in ACM International Collegiate Programming Contest (ICPC) Regional Contest – Seoul. 2007.
  • Gold Medal in International Olympiad in Informatics (IOI). 2005.
  • Bronze Medal in Collegiate Mathematics Olympiad (대한수학회 대학생 수학경시대회), Korean Mathematical Society. 2012.