陈寅，现就职于华南师范大学人工智能学院和计算机学院，副教授。主要的研究领域为人工智能，知识的表示与推理和逻辑程序等。在主要的人工智能期刊AIJ，JAIR和国际会议IJCAI，AAAI和KR上均有论文发表。主持过两个国家自然科学基金项目和一个广东省自然科学基金项目。

目前的研究兴趣包括：
1 回答集程序的理论和应用
2 析取逻辑程序，缺省逻辑和2QBF等第二层复杂度问题的研究
3 基于一阶逻辑的定理发现

中山大学 软件研究所 博士2001-2005中山大学 软件研究所 硕士 1998-2001中国人民大学 社会学系 学士 1991-1995

2004至今，华南师范大学
1995-1998，温州大学

离散数学 面向本科生的离散数学课程 2015.3-2016.1

人工智能 , 知识表示与推理 , 逻辑程序设计

Introduction

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