- Hosung Lee (이호성)
- Minsol Park (박민솔)
- Seohyun Lee (이서현)
- Hosung Lee (이호성), Ingyu Baeg (백인규)
- Junghyun Kim (김정현)
by jidoc01 |
by mindol |
by frogfrog2 |
by spearo2 |
|---|---|---|---|
by frogfrog2 |
by uk-jeong |
by 08kmc09 |
by 08kmc09 |
by GetRusty |
by 08kmc09 |
by cwlo2F |
See the ceremony photos
- Jaeho Kim (김재호)
- Kim Hongjin (김홍진)
- Sunho Park (박선호)
- Janggun Lee (이장건)
- Jaehyun Lee (이재현)
- Jeong Seunghyeon (정승현)
- Park Suhyeon (박수현)
- Subeen Park (박수빈)
- Park Jungwung (박정웅)
- Woojin Lee(이우진)
- Haejoon Park (박해준)
- Hyerin Park (박혜린)
- Kim Hongjin (김홍진)
- Sunho Park (박선호)
- Heewon Lee (이희원)
- Park Suhyeon (박수현)
- Jaehyun Lee (이재현)
- Haejoon Park (박해준)
- Subeen Park (박수빈)
- Janggun Lee (이장건)
- Youngil Yoon (윤영일)
- Suhyeon Park (박수현)
- 김재호, 김현구, 윤영일
- 신민서
- 박선호
See the ceremony photos.
- 이진서: Dude (motivation)
 Bottom-up Enumeration by Gimongjin |
 Operational Semantics 🥈by PSuHyeon |
 Correctness by Gimongjin |
 Incompleteness 🥉by Calmadeas |
 First-order logic by Gimongjin |
|---|---|---|---|---|
 The Undecidability of Mathematics 🥉by pingpingy1 |
 Bottom-up search by creationyun |
 Search space pruning 🥈by KunJeong |
 Program synthesis by KunJeong |
 Program Synthesis 🥉by 702fbtngus |
 Program Synthesis by Timber-min |
 Semantics by kingdoctor123 |
 Invariant 🥇by hyerinshelly |
 Enumerative search 🥉by yeonhee-ryou |
 program synthesizer by KihongHeo |