Computational Intelligence & Data Analytics Laboratory @ University of Seoul
Welcome to the CIDA Lab at University of Seoul. Our research spans theory of computation, formal verification of neural networks, AI-driven programming language analysis, and sports data analytics — bridging the foundations of theoretical computer science with cutting-edge machine learning applications.
We are looking for highly motivated students interested in these areas. Visit Prof. Sang-Ki Ko’s personal website for more details, or send an e-mail to inquire about research opportunities.
Research Areas
- 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 (NRF Basic Research Laboratory grant, 2023–2026)
- Sports Data Analytics — Player performance evaluation, multi-agent trajectory inference, formation analysis, and strategy optimization for football using deep learning and reinforcement learning
Recent Highlights
- MIT Sloan Sports Analytics Conference 2026 — “Valuing La Pausa” selected as a finalist (Top 7 among 200+ submissions)
- AAAI 2026 (BK21 Top Conference, IF: 4) — Adversarial attack on spiking neural networks via timestep-level backpropagation
- IJCAI 2025 (BK21 Top Conference, IF: 4) — LogiCase: effective test case generation from logical descriptions
- EMNLP 2025 (BK21 Top Conference, IF: 3) — CodeComplex: benchmark dataset for worst-case time complexity prediction
- CIKM 2025 (BK21 Top Conference, IF: 3) — Multi-agent trajectory imputation in soccer from event and snapshot data
- ECML PKDD 2025 (KIISE CS Top Conference) — Trajectory imputation with derivative-accumulating self-ensemble
- MIT Sloan Sports Analytics Conference 2025 — exPress: contextual player valuation in pressing situations
- KDD 2023 & 2022 (BK21 Top Conference, IF: 4) — Ball trajectory inference; soccer formation change-point detection
Latest News
-
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…
-
Spring 2025 research highlights - New publications accepted — March 20, 2025 We are delighted to announce several research achievements in Spring 2025: Conference Papers: LogiCase: Effective Test Case Generation from Logical…