个人简介

陈寅，现就职于华南师范大学计算机学院计算机科学系，副教授。主要的研究领域为人工智能，知识的表示与推理和逻辑程序等。在主要的人工智能期刊AIJ，JAIR和国际会议IJCAI，AAAI和KR上均有论文发表。主持过两个国家自然科学基金项目和一个广东省自然科学基金项目。 目前的研究兴趣包括： 1回答集程序的理论和应用 2析取逻辑程序，缺省逻辑和2QBF等第二层复杂度问题的研究 3基于一阶逻辑的定理发现 Education 中山大学软件研究所博士2001-2005中山大学软件研究所硕士1998-2001中国人民大学社会学系学士1991-1995 WorkExperience 2004至今，华南师范大学 1995-1998，温州大学 Biography 离散数学面向本科生的离散数学课程2015.3-2016.1