We welcome the following undergraduate students to our lab for the 2026 Fall semester.

• Seongwon Wang (왕성원), Department of AI, University of Seoul
  • Research area: formal verification of neural networks, automated theorem proving
• Iljun Hwang (황일준), Department of AI, Sejong University
  • Research area: multi-agent reinforcement learning, opponent modeling in sports

We are excited to have you join our team and look forward to collaborative research and learning!