Professor
Students
Master Students
- Aditi (아디띠) (2024-1 ~ Present)
- Research area: automated program repair, code LLM prompt engineering
- Gunhee Joe (조건희) (2024-2 ~ Present)
- Research area: sports (football or soccer) data analytics, player/team performance analysis
- Seongmin Kim (김성민) (2024-2 ~ Present)
- Research area: reinforcement learning, combinatorial optimization, formal language (automata and regular expressions) inference
- Suyoung Park (박수영) (2024-2 ~ Present)
- Research area: Code complexity prediction, code generation
- Geoungjoo Lee (이경주) (2025-1 ~ Present)
- Research area: automated program repair based on deep learning
- Miru Hong (홍미루) (2025-1 ~ Present)
- Research area: football data analytics, playing style embedding, optimal decision making using reinforcement learning
Undergraduate Students
- Baekryun Seong (성백륜) (2023-2 ~ Present)
- Research area: spiking neural network, formal verification, reinforcement learning
- Hyunwoo Park (박현우) (2023-2 ~ Present)
- Research area: cooperative multi-agent reinforcement learning
- Hyeongjun Jeon (전형준) (2024-1 ~ Present)
- Research area: automated program repair based on deep learning
- Mingu Kang (강민구) (2024-1 ~ Present)
- Research area: player/team performance analysis, reinforcement learning
- Wonmo Lee (이원모) (2024-2 ~ Present)
- Research area: spiking neural network, formal verification
- Kangmin Lee (이강민) (2024-2 ~ Present)
- Research area: sports data analytics, player/team performance analysis, event-stream data verification
- Seona Moon (문선아), MSc, Korea Electronics Technology Institute (KETI), Researcher
- Jay Lee (이재이), BSc, KEB Hana Bank, Data Analyst
- Minji Kang (강민지), BSc, Korea Electronics Technology Institute (KETI), Researcher
- Yeongseo Lim (임영서), BSc
- Eunyoung Bang (방은영), BSc
- Su-Hyeon Kim (김수현), MSc, Korea Electronics Technology Institute (KETI), Researcher
- Mingi Jeon (전민기), MSc
- Dogyu Kim (김도규), BSc, Computer Graphics Lab. at Kangwon National University, Undergraduate Research Student
- Hyunwoo Park (박현우), BSc
- Hanjun Choi (최한준), MSc, Korea Electronics Technology Institute (KETI), Researcher
- Seungmin Lim (임승민), BSc, KAIST, Research Intern