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.
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.
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