자오시순의 연구방향

자오시순 교수의 연구 방향은 수학적 논리와 컴퓨터 과학, 인공지능 분야의 응용이다. 최근 몇 년 동안 연구는 주로 논리 시스템의 표현 능력과 계산 복잡성에 중점을 두었습니다. 그는 한때 "수학 백과사전"의 번역에 참여했으며 "선택의 공리"라는 책을 출판했습니다. 최근에는 Journal of Automated Reasoning, Annals of Mathematics and Artificial Intelligence, Discrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Process Letters 등 국제적으로 유명한 잡지에 20편 이상의 논문을 게재했으며 국제학술대회 AAAI 2004, SAT 2002-2006 및 CCA2007. 조희순이 주관하는 프로젝트에는 국가자연과학재단 프로젝트, 국가사회과학재단 프로젝트, 교육부 인문사회과학기지 주요 프로젝트, 교육부 박사과정 기금 프로젝트 등이 있다.