博士生导师----王驹研究员
原中国科学院软件所研究员,逻辑室主任。王驹研究员男，1950年9月出生。定职时间1996.6。１９８８年毕业于美国加州大学洛杉玑分校，获博士学位,原中国科学院软件所研究员，逻辑研究室主任。博士生导师。工作单位：广西师范大学计算机科学与信息工程学院
主要研究方向数理逻辑、人工智能及计算机理论
（A)简历1966广西师大附中初中毕业。
1966-1978文革/插队/桂林市水产公司售货员。
1978-1981中科院计算所研究生，导师胡世华。
1981-1982美国DukeUniversity,Dept.ofmath.。
1982-1986（转学到）美国UCLA,Dept.ofMath.导师KirbyBaker,获Ph.D.。
1986-1991SUNY,NewPaltz，Dept.ofMath.访问学者。
1991-2000中科院软件所逻辑室，研究员，曾任逻辑室主任。
2000-2003分别在UniversityofSouthCarolina,UCLA,UCDavis做访问教授，科研，教学。
2003-2011广西师大计算机科学及信息学院教授，科研，教学。

（本人工作兴趣比较广泛：以前在公理集合论，证明论，多值逻辑，线性逻辑，l-演算，p-演算，模型论等方面都有研究和成果，也研究过计算机科学/人工智能的若干专题，近年来较多地精力研究本体和描述逻辑，语义网络。）

近年来主要工作：
纯逻辑理论研究方面：
1．在国际上领域中，将逻辑方法引入在代数结构的研究中，发现DPSC性质。（2001），由此得到对Baker定理，McKenzie定理的扩充定理。
2．发现群族中次直不可约类的一阶可定义性。（2002）
3．发现并证明关于半分配代数的扩充定理：若V(A)的FSI类是可定义的，则S(A)存在有穷基底。（2005）McNulty,Baker,McKenzie等人称这些工作是对领域中核心理论的根本性的突破。Kearnes称2。为Wang's定理。Burris称1。的发现远远超越了(obsoleted)他们(Burris,Berman等)以前的工作。
4．这两年在代数结构的逻辑理论研究上有更深入的结果，正在整理。
（B)项目作为负责人，曾获得，执行并完成了国家级的自然科学基金委面上项目、重点项目，重大项目子课题；863项目，973项目子课题，中法合作项目等等近二十项。
(C)人工智能/计算机科学方面，近年来较多地研究语义网络，本体及描述逻辑。1．在描述逻辑方面，建立了vL系统的推理机制。
2．与年轻教授蒋运承等人在建立各种描述逻辑系统的研究上，做了许多工作。发表不少论文。（蒋是主要工作者。）在我的指导下，广西师大硕士生曹发生等人发现HandbookofDescriptionLogic中一个主命题的致命错误，修改后文章发表在《计算机学报》上。我在广西师大的硕士研究生张维/余泉等人在非标准推理方面做了不少工作。他们的成果发表在软件学报，计算机研究与发展上。
3．在空间推理方面，对RCC的最小模型，我们深入了李三江/应明生等人的工作。（耿继兵等人的硕士论文。）
4．将形式概念分析方法引入到描述逻辑系统中。
5．正在与计算所毕业的申宇铭博士等开始关于"本体的保守扩充及推理机制"的研究。近年来代表性文章：
1.DefinablePrincipalSubcongruencesAlgebraUniversalis,47(2002),pp145-pp151，JuWang,KirbyBaker
2.AnextensionofWillard'sFiniteBasisTheorem:Congruencemeet-semidistributivevarietiesoffinitecriticaldepthAlgebraUniversalis,52(2004)pp289-pp302，JuWang,KirbyBakerandGeorgeMcNulty
3.Approximatedistributivelawsandfiniteequationalbasesforfinitealgebrasincongruence-distributivevarietiesAlgebraUniiversalis,54(2005),pp385-396，JuWang,KirbyBaker
4.王驹,蒋运承,申宇铭.描述逻辑系统vL循环术语集的可满足性及推理机制.中国科学(F辑),39(2):205-211,2009.
5.蒋运承,汤庸,王驹.基于描述逻辑的模糊ER模型.软件学报,2006,17(1):20-30.
6.曹发生，余泉，王驹，蒋运承.循环ALCN-TBox具有模型的条件计算机学报2008年31卷第1期，p16-p23
7.张维，侯金宏，曹发生，王驹，蒋运承.描述逻辑系统FLEN概念最小包含算法研究计算机发展与研究，2010，47卷，6期，p1053-p1059
8.OntheTranslationfromQuantifiedModelLogicintotheCounterpartTheoryRevisited5thInternationalConference,KSEM2011,Irvine,CA,USA,December2011,YumingShen,YuefeiSui,andJuWang