Our lab investigates formal languages and automata theory. The theory of computation is the branch of computer science and mathematics that deals with
  • whether or not a problem can be solved [computability]
  • how a problem can be solved [complexity]
  • using algorithms.

    We are mainly interested in


    Recruitment in our lab [click for more info in Korean]
    We are looking for excellent PhD and master students to develop our lab. We target at training students to publish papers in top international conferences and journals. Our research focuses on very interesting formal language and automata theory problems as summarized in here. Students are invited to get involved in the ongoing projects; and they are also highly encouraged to propose and investigate brand-new problems that they find interesting. Members in our lab would have opportunities to attend top conferences and to visit foreign labs in the related research field.
    We are also offering an internship program to undergraduate students (who want to know more about theoretical computer science) at any time.
    Any students who are interested in our lab, please email us.