Jeehoon Kang (강지훈)
I am an Assistant Professor at KAIST School of Computing and the Principal Investigator of Concurrency and Parallelism Laboratory. I received my Ph.D. from Seoul National University under the supervision of Prof. Chung-Kil Hur. I am designing and verifying concurrent and parallel systems, from microarchitectures to programming languages to algorithms, that greatly improve performance and significantly reduce power consumption, thereby serving as the basis for the upcoming era of massive data processing.
I am recruiting motivated students of all levels interested in designing and verifying concurrent and parallel systems. See the research page for more details on the research we are doing. If interested, please send me an email.
- Email: firstname.lastname@example.org
- GitHub: jeehoonkang
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4433, Bldg. E3-1, KAIST (+82-42-350-3578)
(2019) Ph.D. in Computer Science and Engineering. Seoul National University (supervisor: Prof. Chung-Kil Hur).
(2013) B.S. in Computer Science and Engineering and Mathematical Science. Seoul National University.
Chief R&D Officer and Founder, Furiosa AI, September, 2017 - current.
(topic: deep learning accelerator and its compiler)
Intern, MPI-SWS, September, 2015 - December, 2015
(topic: relaxed-memory concurrency, advisor: Dr. Derek Dreyer)
Software Engineer Intern, Google Korea, June, 2008 – August, 2008.
(topic: machine translation)
See the research and publications pages.
- CS420: Compiler Design (2020 Spring)
- CS492: Design and Analysis of Concurrent Programs (2019 Fall)
- CS500: Design and Analysis of Algorithm (2019 Spring)
Open Source Contributions
Crellvm: a verified credible compilation framework for LLVM
SepCompCert: verification of separate compilation of CompCert
iRRAM-Coq: Fearless Verification of Exact Real Arithmetic Programs.
The 1st Workshop on Real Verification (RV 2017).
Awards and Honors
Doctoral Dissertation Award, Dept. of Computer Science and Engineering, Seoul National University, 2019.
Distinguished Paper Award, ACM SIGPLAN conference on Programming Languages Design and Implementation (PLDI), 2017.
23rd place, ACM International Collegiate Programming Contest (ICPC) World Finals, 2008.
Champion, ACM International Collegiate Programming Contest (ICPC) Regional Contest—Seoul, 2007.
Gold Medal, International Olympiad in Informatics (IOI), 2005.