구성원
  • HOME
  • 구성원
  • 전임교원
전임교원
조다정Da-Jung Cho

전공 : 소프트웨어학과

학위 : 박사

이메일 : dajungcho@ajou.ac.kr

연구실 : 산학협력원 509

연구실번호 : 2635

연구실관심분야 : Formal language and automata theory, Synthetic biology

홈페이지 : https://www.dajungcho-toc.com/

학력
  • 2018.02 연세대학교 박사
경력
  • 2021.03 - 현재: 아주대 소프트웨어학과 조교수
  • 2019.09 - 2021.02: University of Kassel 박사후 연구원
  • 2018.05 - 2019.08: University of Paris-Saclay 박사후 연구원
연구분야
  • 계산이론은 어떤 문제를 컴퓨터가 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를 다양한 계산 모델을 이용하여 이론적으로 탐구하는 분야입니다.
  • Theory of Natural Computation 연구실은 계산이론을 기반으로
  • - DNA 서열에서 발생하는 재조합 또는 분자 상호작용 등 다양한 자연 현상을 정형언어로 정형화하는 기법 연구
  • - 자연 현상을 시뮬레이션 할 수 있는 수학 모델 설계 및 분석 연구와
  • - 상태 및 회로복잡도 분석을 통한 정형모델의 최적화 연구를 수행합니다
국제학술논문지
  • 1. Distributed Computation with Continual Population growth, Da-Jung Cho, Matthias Fugger, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Distributed Computing, 1-23, October 2021
  • 2. 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
  • 3. Bound-Decreasing Duplication System, Da-Jung Cho, Yo-Sub Han, Hwee Kim, Theoretical Computer Science (TCS), Vol. 793, 152-168, November 2019
  • 4. Outfix-Guided Insertion, Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, Theoretical Computer Science (TCS),Vol. 701, 70-84, November 2017
  • 5. Pseudoknot-Generating Operation, Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, Theoretical Computer Science (TCS), Vol. 696, 52-64, October 2017
  • 6. 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

  • 권순선
    Soon-Sun Kwon

    전공 : 수학과(통계전공)

    학위 : 박사

    이메일 : qrio1010@ajou.ac.kr

  • 김상훈
    Sang-Hoon Kim

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : sanghoonkim@ajou.ac.kr

  • 김소연
    So Yeon Kim

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : jebi1771@gmail.com

  • 박정훈
    Junghoon Park

    전공 : 인공지능융합학과

    학위 : 박사

    이메일 : stevejobs@ajou.ac.kr / skyzami@gmail.com

  • 손경아
    Kyung-Ah Sohn

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : kasohn@ajou.ac.kr

  • 신현정
    Hyunjung Shin

    전공 : 산업공학전공(과)

    학위 : 박사

    이메일 : shin@ajou.ac.kr

  • 안정섭
    Jeongseob Ahn

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : jsahn@ajou.ac.kr

  • 오상윤
    Sangyoon Oh

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : syoh@ajou.ac.kr

  • 유리
    Ri Yu

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : riyu@ajou.ac.kr

  • 유종빈
    Jongbin ryu

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : jongbinryu@ajou.ac.kr

  • 윤대균
    Daekyun Yoon

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : dkyoon@ajou.ac.kr

  • 이석원
    Seokwon Lee

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : leesw@ajou.ac.kr

  • 이슬
    Sael Lee

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : sael@ajou.ac.kr

  • 정태선
    Tae-Sun Chung

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : tschung@ajou.ac.kr

  • 조다정
    Da-Jung Cho

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : dajungcho@ajou.ac.kr

  • 조현석
    Hyunsouk Cho

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : hyunsouk@ajou.ac.kr

  • 최영준
    Young-June Choi

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : choiyj@ajou.ac.kr

  • 허용석
    Yong Seok Heo

    전공 : 전자공학전공(과)

    학위 : 박사

    이메일 : ysheo@ajou.ac.kr

  • 황원준
    Wonjun Hwang

    전공 : 소프트웨어학과

    학위 : 박사

    이메일 : wjhwang@ajou.ac.kr