Member

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
Former Members
  • 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