Theory of Natural Computation 연구실에서는 다양한 자연현상을 이론적으로 분석하고 해결하는 연구를 진행합니다. 정형언어와 오토마타 이론을 바탕으로 자연 현상을 정형화하고, 특성을 파악하여 이론적인 관점으로 다양한 문제들을 해결합니다. 또한, 자연현상을 시뮬레이션 하는 계산모델을 설계하고, 설계된 계산모델의 계산능력 및 특성 분석을 수행합니다. 

주요 연구 분야

- 자연 현상의 이해 및 분석을 통한 정형언어로의 정형화

- 자연 현상을 표현하는 정형언어의 특성 문석 및 이를 이용한 효율적인 알고리즘 설계

- 자연 현상을 표현하는 계산모델 수립 및 특성 분석

보다 자세한 내용을 이곳을 클릭하여 확인하세요