top of page

 Da-Jung Cho's Page

전통적인 도서관

Introduction

I am a computer science theoretician and am working in the Department of Software and Computer Engineering at Ajou University since March 2021.

​

Research Interests:

  • Formal Language and Automata Theory

  • Algorithm Design

  • Synthetic Biology

​

​

Contact:​

  • 산학협력원 509호, Dept. of Software and Computer Engineering, Ajou University, 206 Worldcup-ro, Yeongtong-gu, Suwon, 16499, Korea (Republic of)

  • +82 (031) 219 2635

  • +82 10 4708 9334

  • dajungcho [at] ajou [dot] ac [dot] kr

 

Home: 소개

Publications


[DBLP: Da-Jung Cho], [Google Scholar], [ORCID]

 

[CONFERENCES]

  1. Programmable Co‑Transcriptional Splicing: Realizing Regular Languages via Hairpin‑Deletion, Da-Jung Cho, Szilárd Zsolt Fazekas, Shonnosuke Seki, Max Wiedenhöft, DNA Computing and Molecular Programming (DNA'25), accepted

  2. A comparative Analysis of Deletion Closure Operations and Their Properties, Da-Jung Cho, Tikhon Pshenitsyn, Developments in Language Theory (DLT'25), accepted

  3. Unsupervised Sentence Representation Learning with Syntactically Aligned Negative Samples, Zhilan Wang, Zekai Zhi, Rize, Jing, Kehui Song, He Wang, Da-Jung Cho, Findings of the Association for Computational Linguistics (NAACL'25), 8247-8259, 2025 

  4. Distributed Computation with Continual Population Growth, Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran, International Symposium on Distributed Computing (DISC'20), LIPIcs 179, [pdf] [video]

  5. Site-Directed Deletion, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa, Developments in Language Theory (DLT’18), LNCS 11088, 219-230, 2018 [pdf][slide]

  6. Site-Directed Insertion: Decision Problems, Maximality and Minimality, Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor Smith, Descriptional Complexity of Formal Systems (DCFS'18), LNCS 10952, 49-61, 2018 [pdf]

  7. Deduplication on Finite Automata and Nested Duplication Systems, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Unconventional Computation & Natural Computation (UCNC’17), LNCS10240, 194-205, 2017 [pdf][slide]

  8. Outfix-Guided Insertion, Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa, Developments in Language Theory (DLT’16), LNCS 9840, 102-113, 2016 [pdf]

  9. Pseudoknot-Generating Operation, Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, Current Trends in Theory and Practice of Computer Science (SOFSEM'16), LNCS 9587, 241-252, 2016 [pdf]

  10. Frequent Pattern Mining with Non-overlapping Inversions, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Language and Automata Theory and Applications (LATA’15), LNCS 8977, 121-132, 2015 [pdf]

  11. State Complexity of Permutations on Finite Languages over Binary Alphabets, Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, Descriptional Complexity of Formal Systems (DCFS'15), LNCS 9118, 220-230, 2015 [pdf]

  12. Duplications and Pseudo-Duplications, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa, Unconventional Computation & Natural Computation (UCNC'15), LNCS 9252, 157-168, 2015 [pdf]

  13. State Complexity of Inversion Operations, Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, Descriptional Complexity of Formal Systems (DCFS'14), LNCS 8614, 102-113, 2014 [pdf]

  14. Pseudo-Inversion on Formal Languages, Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa, Unconventional Computation & Natural Computation (UCNC'14), LNCS 8553, 93-104, 2014, “Best Paper Score Award” [pdf][slide]

  15. Alignment with Non-Overlapping Inversions on Two Strings, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Algorithms and Computation (WALCOM’14), LNCS 8344, 261-272, 2014 [pdf]

​

​

[JOURNAL]

  1. Formalization of Side-Aware DNA Origami Words and Their Rewriting System, and Equivalent Classes, Da-Jung Cho, Mathematics, Vol. 13(6), 1-26, March 2025

  2. Enhancing Diversity and Convergence in MMOPs with a Gaussian Similarity-Based Evolutionary Algorithm, Shizhao Wei, Da-Jung Cho, Mathematics, Vol. 13(2), 1-18, January 2025

  3. Distributed computation with continual population growth, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran, Distributed Computing, Vol. 35(6), 547-569, 2022

  4. Site-Directed Insertion: Language equations and decision problems, Da-Jung Cho, Yo-Sub Han, Kai Salomaa and Taylor Smith, Theoretical Computer Science (TCS), Vol. 798, 40-51, December 2019 [pdf]

  5. Bound-Decreasing Duplication System, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Theoretical Computer Science (TCS), Vol. 793, 152-168, November 2019 [pdf]

  6. Outfix-Guided Insertion, Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, Theoretical Computer Science (TCS),Vol. 701, 70-84, November 2017 [pdf]

  7. Pseudoknot-Generating Operation, Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, Theoretical Computer Science (TCS), Vol. 696, 52-64, October 2017 [pdf]

  8. State Complexity of Permutation on Finite Languages over a Binary Alphabet, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa, Theoretical Computer Science (TCS), Vol. 682, 67-78, June 2017 [pdf]

  9. Duplications and Pseudo-Duplications, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa, International Journal of Unconventional Computing (IJUC), Vol. 12(2-3), 145-167, May 2016 [pdf]

  10. Pseudo-Inversion: Closure Properties and Decidability, Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa, Natural Computing, Vol. 15, 31-39, March 2016 [pdf] 

  11. State Complexity of Inversion Operations, Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, Theoretical Computer Science (TCS), Vol. 610, 2-12, January 2016 [pdf]

  12. Alignment with Non-Overlapping Inversions and Translocations on Two Strings, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Theoretical Computer Science (TCS), Vol. 575, 90-101, April 2015 [pdf]

  13. Decidability of Involution Hypercodes, Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Theoretical Computer Science (TCS), Vol. 550, 90-99, September 2014 [pdf]

​

​

[PATENTS]

  1. Apparatus and Method for Determining if Site-Directed Deletion is Possible, Yo-Sub Han, Da-Jung Cho, Hwee Kim, 10-2017-0075890, 2017  

  2. Method for Creating Automata for Determination of Nested-Duplication, Yo-Sub Han, Da-Jung Cho, Hwee Kim, 10-2017-0066232, 2017

  3. Method and Device for Mining Pattern on Inversion of Biological Sequence, Yo-Sub Han, Hwee Kim, Da-Jung Cho, 10-1636202, 2016

  4. Device and Method for Determining Pseudoknot Structure of Biological Sequence, Yo-Sub Han, Da-Jung Cho, Hwee Kim, 10-2016-0007615, 2016

​

Home: 텍스트

EXPERIENCE

[Education]

  • 09 / 2011 - 02 / 2018: Ph.D., Formal Languages and Automata Theory, Computer Science, Yonsei University, Seoul, South Korea, Thesis: Bio-inspired Operations on Formal Languages and Its Properties [slide]

  • 03 / 2007 – 08 / 2011: Bachelor, Computer Engineering,  Korea Polytechnic University, Siheung, South Korea

​

[Working Experience]

  • Since 03 / 2021 : Assistant Professor, Ajou University

  • 09 / 2019 - 02 / 2021: Post Doc researcher, University of Kassel

    • Working in the fields of Theoretical Computer Science and Complex Systems

    • Characterizing visibly pushdown languages that can be described by First-order logic with arbitrary predicate  

  • 05 / 2018 – 08 / 2019: Post Doc researcher, Université Paris-Sud and ENS Paris-Saclay

    • Working in the fields of Synthetic Biology

    • Design distributed communication models for microbiological circuits

  • 03 / 2018 – 04 / 2018: Post Doc researcher, Yonsei University 

    • Working in the fields of Formal Language and Automata Theory

    • Designing an efficient algorithm for decision problem over the bio-inspired operation and biological phenomenon predicting problem

Home: 텍스트

ACTIVITY

[ACTIVITY]

  1. 2021: Program committee of DCFS 2021

  2. 04 / 2020 - :Lecturer, University of Kassel, Regular Pattern Matching

  3. Reviewer for International conferences UCNC, DLT, CIAA and Journal Natural Computing

  4. 01 / 2019: Program committee of UCNC 2019

  5. 01 / 2018: Visiting researcher of Prof. Kari at University of Waterloo

  6. 10 / 2017 – 02 / 2018: Visiting researcher at Queen’s University

  7. Local Organizing Committee of the 21st International Conference on Implementation and Application of Automata (CIAA) 2016

  8. 06 / 2016 – 07 / 2016: Visiting researcher at Queen’s University

  9. 09 / 2015 – 12 / 2015: Lecturer, Yonsei University, Introduction to Engineering Design

​

[AWARDS]

  1. 10 / 2017 – 02 / 2018: Globalink Research Award from Mitacs and NRF

  2. Spring 2016 semester: NAVER Ph.D Fellowship from NAVER

  3. Spring 2016 semester: The Graduate Fellowship from Dept. Computer Science, Yonsei University

  4. Fall 2016 semester: The Graduate Fellowship from Dept. Computer Science, Yonsei University 

  5. 07 / 2014: Awarded Best Paper for the paper “Pseudo-Inversion on Formal Languages” in UCNC’14

Home: 텍스트

Department of Software and Computer Engineering, Ajou University
206 Worldcup-ro, Yeongtong-gu, Suwon, 16499, Korea

bottom of page