- Hosung Lee (이호성)
- Minsol Park (박민솔)
- Seohyun Lee (이서현)
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 |