個人簡介
專業方向：數理邏輯及套用
研究興趣: 知識表示與推理,邏輯程式及計算複雜性等
經歷
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月。
