Now

From September 1 of 2023, I joined the Department of Artificial Intelligence at University of Seoul as an assistant professor. The new lab website is now ready!

Research Interest

My research interest lies in the theory of computation and applications of automata-related devices. I am especially interested in the problems of computing the edit-distance between formal languages and obtaining the descriptional complexity of regular (tree) languages. I also have been working on reachability problems for automata, matrices, and maps while I was working as a postdoctoral research associate at University of Liverpool with Prof. Igor Potapov from March 2016 to August 2017. From August 2017, I joined AI research center of KETI (Korea Electronics Technology Institute) and started to work on new interesting topics on artificial intelligence based on various deep learning techniques. 

Currently, I am an assistant professor of the Department of Artificial Intelligence at University of Seoul in South Korea.  As a computer scientist, I love to tackle interesting and challenging theoretical questions especially related to automata and formal language theory. I am also planning to expand my research area into some practical areas such as spatio-temporal data analysis from sports domain and automatic program synthesis, analysis, and repair using deep learning techniques. 

You can download my CV in PDF format here and find the link to DBLP page here.

News

• I am very happy to announce that the 29th International Conference on Developments in Language Theory (DLT 2025) will be hosted at the University of Seoul, South Korea. The conference will be held from August 19 to August 22, 2025. The PC co-chairs are Me and Florin Manea. - 2024. 11. 21

  • Homepage of DLT 2025: https://cida.uos.ac.kr/dlt2025/

  • Homepage of the conference series: https://math.utu.fi/dlt/

• I am really excited to share the news that our paper 'Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM' (with  Hyunsung Kim, Han-Jun Choi, Chang Jo Kim, and Jinsung Yoon) is accepted at KDD 2023! We got papers at KDD two years in a row! - 2023. 5. 17

• Our paper 'Existential and Universal Width of Alternating Finite Automata' (with Yo-Sub Han, Sungmin Kim, and Kai Salomaa) is accepted at DCFS 2023! - 2023. 4. 9

• Our paper 'On the Simon’s Congruence Neighborhood of Languages' (with Sungmin Kim, Yo-Sub Han, and Kai Salomaa) is accepted at DLT 2023! - 2023. 3. 31

• Our paper 'Automated Grading of Regular Expressions' (with Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, and Hyeonseung Im) is accepted at ESOP 2023! Special congratulations to Su-Hyeon for his first BK 21+ recognized paper :) - 2022. 12.23

• Our paper 'Simon’s Congruence Pattern Matching' (with Sungmin Kim, Kai Salomaa and Yo-Sub Han) is accepted at ISAAC 2022! - 2022. 8. 31

• Happy to share the news that the paper 'On Simon’s Congruence Closure of a String' (with Sungmin Kim, Kai Salomaa and Yo-Sub Han) is accepted at DCFS 2022! Well done Sungmin and congratulations on your first conference paper! - 2022. 5. 23

• Our paper 'SoccerCPD: Formation and role change-point detection in soccer matches from spatiotemporal tracking data' (with Hyunsung Kim, Bit Kim, Dongwook Chung and Jinsung Yoon) has been accepted for presentation at KDD 2022! - 2022. 5. 19

• Our paper '6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network' (with Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee and Jinsung Yoon) has been accepted for presentation at MLSA@PKDD/ECML 2021! This is officially my first paper on sports data analysis. Still long way to go :) - 2021. 7. 12

• Very excited to share the news that our paper 'Most Pseudo-copy Languages Are Not Context-free' (with Mr. Hyunjoon Cheon, Mr. Joonghyuk Hahn and Prof. Yo-Sub Han) is accepted for presentation at COCOON 2021! - 2021. 8. 15.

• I am really happy to announce that our paper 'Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis' (with Mr. Su-Hyeon Kim and Prof. Hyeonseung Im) has been accepted for presentation at CIAA 2021. This is the first international conference paper from our lab! - 2021. 4. 26.

• I am pleased to announce that our paper 'SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction' (with Mr. Ju-Hyoung Lee and Prof. Yo-Sub Han) has been accepted for presentation at AAAI 2021. - 2020.12.3.

• Joined the Department of Computer & Communication Engineering of Kangwon National University as an assistant professor! Really excited to start a new journey :) - 2019.9.2.

• My paper  'The Relative Edit-Distance Between Two Input-Driven Languages' (with Prof. Kai Salomaa, Prof. Yo-Sub Han, and Mr. Hyunjoon Cheon) has been accepted for presentation at DLT 2019! - 2019.5.10.

• The paper 'Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity' (with Prof. Kai Salomaa and Prof. Yo-Sub Han) is accepted at DCFS 2019. - 2019.5.2.

Last update: 2023/9/22