王驹✍️

王驹，男，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万 成员

参考资料