个人简介

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

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

教育背景

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

工作经历

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

教学信息

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

研究兴趣

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

Biography

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
You can communicate with other scholars through Inbox , and you can also communicate by Instant Messaging .
https://www.scholat.com/ychen
广东省广州市天河区中山大道西55号, 510631
SCAN the QR Code
Visit My Homepage
SCHOLAT.com 学者网
ABOUT US | SCHOLAT