MS Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• Type systems

  1. • 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

External Links

• Publications

• Talks

• Articles

• Awards

• Activities

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