홍재민
Jaemin Hong
Ph.D. Candidate, PLRG Lab.
School of Computing
Korea Advanced Institute of Science and Technology
Personal Website
Personal Website
Research Interests
Research Interests
Type systems
Education
Education
Integrated MS & Ph.D. in Computer Science, Mar. 2020 - Present
School of Computing, KAIST
BS in Computer Science & Mathematical Science, Mar. 2016 - Feb. 2020
School of Computing, KAIST
Contact
Contact
Rm. 4409, School of Computing (E3-1), KAIST
291 Daehak-ro
Yuseong-gu
Daejeon 34141
Republic of Korea
Email: jaemin.hong [at] kaist.ac.kr