홍재민

Jaemin Hong

MS Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • Type systems

      • Gradual typing

      • DOTs

      • Multiple dispatch

Education

MS 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