陳寅

陳寅，現就職於華南師範大學計算機學院計算機科學系，副教授。主要的研究領域為人工智能，知識的表示與推理和邏輯程序等。在主要的人工智能期刊AIJ，JAIR和國際會議IJCAI，AAAI和KR上均有論文發表。主持過兩個國家自然科學基金項目和一個廣東省自然科學基金項目。

目前的研究興趣包括：

1 回答集程序的理論和應用

2 析取邏輯程序，缺省邏輯和2QBF等第二層複雜度問題的研究

3 基於一階邏輯的定理發現

Education

中山大學 軟件研究所 博士2001-2005中山大學 軟件研究所 碩士 1998-2001中國人民大學 社會學系 學士 1991-1995

Work Experience

2004至今，華南師範大學

1995-1998，温州大學

Biography

離散數學 面向本科生的離散數學課程 2015.3-2016.1

Intrduction

Yin Chen, Associate Professor in School of Computer Science, South China Normal University.

Education:

MS and Phd, Software institute, Sun Yat-Sen University. 2005

BA, Department of Sociology, Renmin University, 1995

Research interests:

1 Answer set programming and its application

2 Disjunctive logic program, Default Logic, 2-QBF and other problems whose complexity is on the second level of polynomial hierarchy

3 Computer aided theorem discovery

Education

MS and Phd, Software institute, Sun Yat-Sen University. 2005

BA, Department of Sociology, Renmin University, 1995

Work Experience

1 2004-now, Department of Computer Science, South China Normal University

2 1995-1998, Wenzhou University ^[1]