Member

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
Baekryun Seong (성백륜) (2025-2 ~ Present)
- Research area: spiking neural network, formal verification, reinforcement learning
Jaewon Kim (김재원) (2025-2 ~ Present)
- Research area: 3D simulation, digital twin

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
Wonmo Lee (이원모) (2024-2 ~ Present)
- Research area: spiking neural network, formal verification
Junhyeok Eom (엄준혁) (2025-2 ~ Present)
- Research area: reinforcement learning, RL-assisted software testing

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
Mingu Kang (강민구)