王驹
王驹，男，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万 成员
参考资料
Warning: Invalid argument supplied for foreach() in /www/wwwroot/newbaike.com/id.php on line 280