Now

From September 2 of 2019, I joined the Department of Computer Science & Engineering (formerly called the Department of Computer & Communication Engineering) of Kangwon National University as an assistant professor.


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 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 Computer Science & Engineering at Kangwon National University 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

  • 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: 2019/9/5