구성원
- HOME
- 구성원
- 전임교원
전임교원
조다정Da-Jung Cho
전공 : 소프트웨어학과
학위 : 박사
이메일 : dajungcho@ajou.ac.kr
연구실 : 산학협력원 509
연구실번호 : 2635
연구실관심분야 : Formal language and automata theory, Synthetic biology
학력
- 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
- 입학
- 커뮤니티
- 대학원 공지사항
- 학과 공지사항
- 세미나
- Publication
우) 16499 경기도 수원시 영통구 월드컵로 206 아주대학교 인공지능학과
Copyright 2021 Department of Artificial Intelligence. All Rights Reserved.