Jeehoon Kang joined KAIST School of Computing as an associate professor in 2019. He is interested in understanding systems in the viewpoint of programming languages. He is especially focused on designing and verifying concurrent programs for massively parallel workloads, which are going to be even more crucial in the era of big data and artificial intelligence. Currently, he is working on (1) designing compilers for massively parallel workloads like artificial intelligence and computer vision; (2) designing operational semantics for emerging hardware like persistent memory and many-core systems; (3) verifying concurrent programs; and (4) verifying compilers for concurrent programs.

Jeehoon received his Ph.D. and B.S. from Seoul National University in 2019 and 2013, respectively. He received a PLDI distinguished paper award in 2017, and a doctoral disseratation award from the Department of Computer Science and Engineering, Seoul National University in 2019. He is a maintainer of Crossbeam, a Rust concurrency library. He was a compiler writer for FuriosaAI, a fabless startup building next-generation AI chip.