5.4K
中国科学院院士
1958年清华大学自动控制系毕业留校任教至今。先后在自动控制系、计算机科学与技术系任教。曾任“智能技术与系统”国家重点实验室主任、校学位委员会副主任。还担任中国自动化学会智能控制专业委员会主任和机器人专业委员会副主任，《计算机学报》副主编等。现任微软亚洲研究院技术顾问等。2011年德国汉堡大学授予自然科学荣誉博士称号。他长期从事自动控制理论及技术的教学和研究。80年代以后，主要从事人工智能和计算机应用技术的研究。他针对人工智能问题求解计算复杂性、指数爆炸的主要困难，提出了问题分层求解的商空间理论，解决了不同粒度空间的描述、它们之间相互转换、复杂性分析等理论问题。在此基础上提出统计启发式搜索算法，基于拓扑的空间规划等方法，对克服计算量的指数爆炸很有成效。还提出了研究不确定性处理、定性推理、模糊分析、证据合成等新原理。指导并参加建成了陆地自主车、图像与视频检索等实验平台。已培养博士60多名，获北京市优秀教学成果一等奖。“智能技术与系统”国家重点实验室创建者之一。著有《问题求解理论及应用》(中英文版)，获得国家教委颁发的高校出版社优秀学术专著特等奖，后者还获得全国优秀科技图书一等奖。科研成果，还获得国家自然科学三等奖、教委科技进步奖一、二等奖各一项，电子部科技进步奖一等奖一项，发表论文一百余篇，其中一篇获ICL欧洲人工智能奖。