Our research spans theory of computation, formal verification of neural networks, AI-driven programming language analysis & generation, and sports data analytics — bridging theoretical computer science with cutting-edge machine learning applications. Meet our team members, browse our publications, or visit Prof. Sang-Ki Ko's personal website for more details.

• Theory of Computation — Descriptional and computational complexity of formal languages, finite automata, and regular expressions; Simon’s congruence; regular language inference.
• Formal Verification of Neural Networks — Safety and correctness verification of DNNs and spiking neural networks (SNNs) using automata-theoretic and model-checking techniques.
• Programming Language Understanding & Generation — Automated program repair, worst-case time complexity prediction, grammar-based test case generation, and LLM-based code analysis.
• Sports Data Analytics — Player performance evaluation, multi-agent trajectory inference, formation analysis, and strategy optimization for football using deep learning and reinforcement learning.

Read more about our research →

• IJCAI 2026 BK21 Top Conf · IF 4

  ReSyn: a generalized recursive regular expression synthesis framework — led by Seongmin Kim.

• MIT Sloan SAC 2026 Finalist · Top 7 / 200+

  "Valuing La Pausa" — selected as a finalist at the MIT Sloan Sports Analytics Conference.

• IJCAI 2025 BK21 Top Conf · IF 4

  LogiCase: effective test case generation from logical descriptions.

• EMNLP 2025 BK21 Top Conf · IF 3

  CodeComplex: benchmark dataset for worst-case time complexity prediction.

• CIKM 2025 BK21 Top Conf · IF 3

  Multi-agent trajectory imputation in soccer from event and snapshot data — led by Geonhee Jo & Miru Hong.

• ECML PKDD 2025 KIISE CS Top Conf

  Trajectory imputation with derivative-accumulating self-ensemble — led by Han-Jun Choi.

• MIT Sloan SAC 2025

  exPress: contextual player valuation in pressing situations.

View all publications →

• Our paper on recursive regex synthesis (ReSyn) accepted at IJCAI 2026! — May 04, 2026 We are delighted to announce that our paper has been accepted at IJCAI 2026, one of the top-tier conferences in…

• New undergraduate students joined the lab (2026 Spring) — February 27, 2026 We welcome the following undergraduate students to our lab for the 2026 Spring semester. Hyeokje Cho (조혁제), Department of AI…

• Our paper is selected as a finalist at MIT Sloan Sports Analytics Conference 2026! — January 30, 2026 We are thrilled to announce that our paper has been selected as a finalist (top 7 out of over 200…

• New courses for Spring 2026 semester — January 08, 2026 We are starting two courses for the 2026 Spring semester at the University of Seoul. Programming Languages (프로그래밍 언어) Reliable…

• Two new journal papers accepted in 2026 — January 08, 2026 We are happy to announce that two new journal papers have been accepted for publication in 2026. Multi-modal recommender system…

• Fall 2025 major publications - EMNLP, CIKM, and more — September 15, 2025 We are honored to announce several significant research publications in Fall 2025: Prestigious Conference Papers: CodeComplex: Dataset for Worst-Case Time…

• New graduate and undergraduate students joined the lab (2025 Fall) — August 30, 2025 We warmly welcome the following students to our lab for the 2025 Fall semester. Master’s Students: Baekryun Seong (성백륜), Department…

• DLT 2025 successfully hosted at University of Seoul — August 22, 2025 The 29th International Conference on Developments in Language Theory (DLT 2025) was successfully held at the University of Seoul from…

• Fall 2025 courses announced — August 01, 2025 We are excited to announce the courses offered in Fall 2025: Introduction to Algorithms (알고리즘) - Core algorithmic concepts and…

• Paper accepted to MIT Sloan Sports Analytics Conference 2025 — May 10, 2025 We are thrilled to announce that our paper exPress: Contextual Valuation of Individual Players Within Pressing Situations in Soccer has…

View all news →