研究方向
數理邏輯、人工智慧及計算機理論
廣西師範大學博士生導師王駒2000年4月至2006年10月底科研情況
在國內外重要學術刊物上發表論文共19 篇。
出版專著（譯著等）1部。
目前承擔項目共3項；其中：國家級3項，省部級1項。
近四年（2002.4-2006.10）支配科研經費共48萬元，年均12萬元。
主要科研
近四年承擔的主要科研 項目 來源 時間 科研經費
1. 程式及代數結構的邏輯性質 (I) 國家自然科學基金項目,項目號: 60473005 2005.1-2005.12 7萬
2. 程式及代數結構的邏輯性質 (II) 國家自然科學基金項目,項目號: 60573010 2006.1 -- 2007.12 14萬
3. 描述邏輯循環定義的理論框架及其推理機制研究,項目號 : 60663001 , 2007 -- 2009 , 22萬
4. 代數結構的邏輯性質研究 廣西自然科學基金 2004-2007 3萬 負責人
5. 自然語言及圖象的智慧型處理:粗集理論研究及套用 國家973 項目 1999–2003 9萬 子課題負責人
6. 數學機械化與推理平台: 機器證明及算法 國家 973 項目 1999–2003 6萬 子課題負責人
7. 數理邏輯及其套用 國家自然科學基金重點項目 1999–2002 6萬 成員
