沈榆平

沈榆平，中山大學博士、講師，專業方向為數理邏輯及套用。

基本介紹

• 中文名：沈榆平
• 國籍：中國
• 畢業院校：廣東工業大學
• 性別：男

個人簡介

專業方向：數理邏輯及套用

研究興趣: 知識表示與推理,邏輯程式及計算複雜性等

經歷

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月。