陈寅 Yin Chen

副教授/Associate Professor

华南师范大学 计算机学院
School of Computer Science, South China Normal University

简介  ABOUT

动态   NEWS

学术   ACADEMIC

其他   MISC

Introduction

陈寅,现就职于华南师范大学计算机学院计算机科学系,副教授。主要的研究领域为人工智能,知识的表示与推理和逻辑程序等。在主要的人工智能期刊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

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

CONTACT BY SCHOLAT
想与我进行学术交流?
立即通过学者网的 工具与我联系!
Http://www.scholat.com/ychen
Email:  
联系地址 :   广东省广州市天河区中山大道西55号, 510631
扫一扫,加入我们

最近动态

  •  Introduction

  •  Education

  •  Work Experience

  •  Biography

  • Contact by SCHOLAT

© 2017 SCHOLAT 学者网
ABOUT US | SCHOLAT