王駒(原中國科學院軟體所研究員)

王駒,男,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萬 成員

相關詞條

熱門詞條

聯絡我們