Professor
Students
Master Students
- Aditi (아디띠) (2024-1 ~ Present)
- Research area: automated program repair, code LLM prompt engineering
Undergraduate Students
- Gunhee Joe (조건희) (2023-1 ~ Present)
- Research area: sports (football or soccer) data analysis, player performance analysis
- Seongmin Kim (김성민) (2023-1 ~ Present)
- Research area: reinforcement learning, combinatorial optimization, learning automata
- Baekryun Seong (성백륜) (2023-2 ~ Present)
- Research area: spiking neural network, formal verification
- Geoungjoo Lee (이경주) (2023-2 ~ Present)
- Research area: automated program repair based on deep learning
- Seungmin Lim (임승민) (2023-2 ~ Present)
- Research area: formal verification of neural networks
- 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
- 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