홍재민

Jaemin Hong

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Personal Website

Research Interests

  • Type systems

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

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