Jaemin Hong

is a master student at KAIST in the Republic of Korea (a.k.a. South Korea). He is major in computer science. He is interested in type systems. He has done the following:

His email address is jaemin.hong@kaist.ac.kr and his GitHub nickname is Medowhill.