Now

Since September 1, 2023, I have been a faculty member in the Department of Artificial Intelligence at the University of Seoul, South Korea. In September 2025, I was promoted to associate professor. I currently lead the Computational Intelligence & Data Analytics (CIDA) Laboratory, where we pursue research at the intersection of theoretical computer science and artificial intelligence.

Research Interest

My research interests lie broadly in the theory of computation and artificial intelligence. In theoretical computer science, I am particularly interested in formal languages, automata theory, regular expressions, descriptional complexity, computational complexity, Simon’s congruence, and related algorithmic problems. I have also worked on reachability problems for automata, matrices, and maps.

More recently, my research has expanded into several AI-oriented directions. One line of work focuses on the formal verification of neural networks, including safety and correctness verification of deep neural networks and spiking neural networks using automata-theoretic and model-checking ideas. Another focuses on programming language understanding and generation, such as automated program repair, worst-case time complexity prediction, grammar-based test case generation, and LLM-based code analysis. I am also actively working on sports data analytics, including player performance evaluation, multi-agent trajectory inference, formation analysis, and tactical decision modeling in football.

As a computer scientist, I enjoy tackling challenging theoretical questions while also exploring how principled methods can be applied to practical problems in AI, software, and sports. 

Last update: 2026/3/17