People

2.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

3.Research Interests

Artificial Intelligence, Knowledge Representation and Reasoning, Logical Programming

4.Email

ychen@scnu.edu.cn

5.Academic