Members
Professors
Postdoc. Researchers
MS Students
Undergrad. Interns
Research Associates
PhD
- Dowon Song / 송도원 (2026.02): Postdoctoral Researcher, Korea University
- Myungho Lee / 이명호 (2025.02): Samsung SDS
- Seongjoon Hong / 홍성준 (2024.02): Samsung Electronics
- Junhee Lee / 이준희 (2024.02): Furiosa AI
- Minseok Jeon / 전민석 (2023.02): Assistant Professor, Daegu Gyeongbuk Institute of Science and Technology
- Sunbeom So / 소순범 (2022.08): Assistant Professor, Korea University
- Sooyoung Cha / 차수영 (2021.02): Assistant Professor, Sungkyunkwan University
- Sehun Jeong / 정세훈 (2020.02, co-advised with Sungdeok Cha): Formal Works Inc.
MS
- Hayeong Lee / 이하영 (2025.02): Furiosa AI
- Chan-Gu Kang / 강찬구 (2023.02): Research Associate, Korea University
- Yunji Seo / 서윤지 (2023.02): Hyundai AutoEver
- Jiseong Bak / 박지성 (2023.02): Labrador Labs
- Jongwook Kim / 김종욱 (2023.02): Furiosa AI
- Jinkook Kim / 김진국 (2023.02): Samsung Electronics
- Taeyeun Yang / 양태연 (2022.08): Coupang
- Heewoong Jang / 장희웅 (2022.02): PiLab
- Jinkyung Kim / 김진경 (2022.02): Hyundai Mobis
- Donghoon Jeon / 전동훈 (2021.02): Hyundai Mobis
- Seonho Lee / 이선호 (2020.08, all but dissertation): Formal Works Inc.
- Joonho Lee / 이준호 (2019.02): Samsung Electronics
- Kwonsoo Chae / 채권수 (2018.02): Megazone Cloud
Software Analysis Lab. @ Korea University