人工智能研究所所长,教授。
德国Karlsruhe大学应用计算机科学与形式描述方法研究所(AIFB)博士后,曾经是英国人工智能协会会员和人工智能进展协会会员,长期从事人工智能和语义网络的推理方面科研及教学工作。