Awards given to Jaemin Hong

Student Reasearch Competitions

Second Prize

Path Dependent Types with Path-Equality

The 16th Asian Symposium on Programming Languages and Systems (APLAS), December 2018

Best Paper Award

Formalization of Path Dependent Types with Path-Equality

KIISE Korea Computer Congress (KCC) 2018, July 2018

Best Paper Award

Formalization of the Static Semantics of Object-Orientated Languages with Variance via Type Context

KIISE Korea Software Congress (KSC) 2017, February 2018

Academic Excellence

President’s Award

KAIST, August 2020

Summa Cum Laude Computer Science

4.17 / 4.3

KAIST, February 2020

Dean’s List (Fall Semester 2018)

KAIST College of Engineering, April 2019

Dean’s List (Spring Semester 2018)

KAIST College of Engineering, October 2018

Dean’s List (Fall Semester 2017)

KAIST College of Engineering, April 2018

Dean’s List (Spring Semester 2017)

KAIST College of Engineering, September 2017

Dean’s List (Fall Semester 2016)

KAIST School of the Freshman, February 2017

Etc.

Best TA Award (Spring Semester 2020)

KAIST School of Computing, August 2020