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

  • 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