| Kihong Heo(PhD, 2017) | Faculty, KAIST |
| Woosuk Lee(PhD, 2016) | Faculty, Hanyang University |
| Hakjoo Oh(PhD, 2012) | Faculty, Korea University |
| Sukyoung Ryu(PhD, 2001) | Faculty, KAIST |
| Jeehoon Kang(2010-2019) | Faculty, KAIST |
| Joonhyup Lee(ROPAS) | PhD student (2024-), CSAIL, MIT |
| Joonwon Choi(ROPAS) | PhD student (2014~2021), CSAIL, MIT, now at Apple |
| Wonchan Lee(ROPAS) | PhD student (2013~2020), CS, Stanford, now at Nvidia |
| Daejun Park(MS, 2008) | PhD student(2013~2019), CS, UIUC, now at a16z crypto/Runtime Verification |
| Wontae Choi(MS, 2010) | PhD student (2011~2017), CS, UC Berkeley, now at Google |
| Jaeho Shin(MS, 2006) | PhD student (2011~), CS, Stanford, now at Apple |
| Soonho Kong(MS, 2009) | PhD student (2010~2016), CS, CMU, now at Amazon Web Services |
| Deokhwan Kim(MS, 2007) | PhD student (2009~2020), CSAIL, MIT, now at Furiosa AI |
| Yongho Yoon(PhD, 2024), Software Engineer, SparrowFasoo | Dongkwon Lee(PhD, 2023), Software Engineer, Samsung Research |
| Jinyung Kim(PhD, 2020), Sofware Engineer, SparrowFasoo/Deeping Source | Sungkeun Cho (PhD, 2018), Software Engineer, Furiosa.ai/Facebook |
| Yungbum Jung(PhD, 2011), Software Engineer, Furiosa.ai/SparrowFasoo | Oukseh Lee(PhD, 2003), CTO, NatureMobilitiy |
| Kyuyeon Park, (MS, 2023), Desilo | Joonmo Yang (MS, 2019), Samsung Electronics | |
| Joan Bae (MS, 2019), Boeing Korea | Duekeun Kim (MS, 2018), LG Electronics | |
| Sangwoo Joh (MS, 2018), Samsung Electronics | Jaesung Choi(MS, 2017), PhD student, KAIST | |
| Yongho Yoon (MS, 2017), SparrowFasoo | Jonggwon Kim (MS, 2017), ±¹°¡º¸¾È±â¼ú¿¬±¸¼Ò | |
| Yongki Kim (MS, 2016), Samsung Electronics | Jisoon Park (MS, 2015), Samsung Electronics | |
| Dongok Kang (MS, 2015), Furiosa.ai/SparrowFasoo | Sol Kim (MS, 2015), Furiosa.ai/Naver | |
| Youngseok Lee(MS, 2014), SparrowFasoo | Jinyoung Huh(MS, 2014), Samsung Electronics | |
| Byeongjun Yu(MS, 2013), Gmarket/SparrowFasoo | Seungjung Lee(MS, 2012), GameHi.com | |
| Heejung Kim(MS, 2011), Samsung Electronics | Youil Kim(PhD, 2010, KAIST), Samsung Electronics | |
| Suwon Jang(MS, 2011), LG Electronics | Gaeul Jeong(MS, 2010), LG Electronics | |
| Daejun Park(MS, 2008), SparrowFasoo | Heejong Lee(MS, 2008), SparrowFasoo | |
| Sunae Seo (PhD, 2007), Samsung Electronics | Yongin Jhee(MS-pending, 2008), LG Electronics | |
| Minsik Jin (MS, 2007), SparrowFasoo | Yi-kwon Hwang (MS, 2007), Tmax | |
| Jaehwang Kim (MS, 2006), LG Electronics | Jaeho Shin (MS, 2006), Samsung Electronics | |
| Seungho Han (MS, 2006), Tmax Soft | Sangwoo Lee (MS, 2006), LG Electronics | |
| Woongsik Choi(MS, 2002), PhD student, KAIST | Jaegyoon Hahm (MS, 2002), KISTI | |
| Bomshik Kim (MS, 2001), IBM Korea | Woong-gi Sung (MS, 2001) | |
| Sanghyun Joo (MS, 2000), SK Telecom | Jaeyoun Jung (MS, 2000), NCSoft | |
| Jungtaek Kim (MS, 1998), NextPlay | Hyunsok Oh (MS, 1998), ExeMobile |
| Joonhyup Lee(2022-2024) | Hun Kim(2022-2024) |
| Hyunseo Jeong (2023, Synthesis project) | |
| Jonghoon Park (2023, Rescript project) | Dohyeong Lee (2021-4/2022, Hedgehog project) |
| Gyejin Lee (2021-4/2022, Hedgehog project) | Seunghan Jo (2021-4/2022, Hedgehog project) |
| Woosung Song (2021, PyTea project) | Suchan Kim (2021, PyTea + Hedgehog projects) |