王駒，男，1950年9月出生。定職時間 1996.6。 1988年畢業於美國加州大學洛杉璣分校，獲博士學位,原中國科學院軟體所研究員，邏輯研究室主任。廣西師範大學計算機科學與信息工程工程學院博士生導師。
基本介紹
- 中文名：王駒
- 國籍：中國
- 民族：漢族
- 出生日期：1950年9月
研究方向,主要科研,
研究方向
數理邏輯、人工智慧及計算機理論
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萬 成員
