來源：互聯網
王駒，男，1950年9月出生。定職時間 1996.6。 1988年畢業于加利福尼亞大學洛杉璣分校，獲博士學位，原中國科學院軟件所研究員，邏輯研究室主任。廣西師范大學計算機科學與信息工程工程學院博士生導師。
研究方向
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萬 成員
參考資料 >