个人简介

参与科研项目

国际学术交流

个人简介

职务：中山大学博士、讲师

专业方向：数理逻辑及应用

研究兴趣: 知识表示与推理,逻辑程序及计算复杂性等

经历

1. 2009.1~今, 中山大学哲学系逻辑与认知研究所

2. 2007.9~2008.9, 法国马赛二大计算机系,联合培养博士生

3. 2004.9~2007.9, 中山大学逻辑学专业博士生

4. 2002.9~2004.6, 中山大学逻辑学专业硕士生;

5. 1998.9~2002.6, 广东工业大学 建设学院;

参与科研项目

国家自然科学基金60573011量化布尔公式的理论与算法研究

国家自然科学基金重大国际合作项目10410638 数值计算的复杂性

国家自然科学基金60970040 二阶逻辑的表达能力及计算复杂性

教育部基地重大项目(05JJD72040122) 表达能力与计算复杂性研究

国际学术交流

1. 参加于新加坡举行的ALC2009会议, 2009年6月；

2. 参加于法国Montpellier举行的RTE2008会议并做报告, 2008年6月；

3. 应邀赴法国Caen大学计算机系作学术交流并做报告, 2008年3月；

4. 赴英国参加KR06博士生论坛,论文张贴, 2006年9月。