出自计算机科学国家重点实验室

职称:	研究员
研究方向：	数据挖掘与人工智能
电话:	010-62661617
E-Mail:	ydshen(at)ios.ac.cn
个人主页：	http://lcs.ios.ac.cn/~ydshen/

主要研究数据挖掘（如 Association, Classification, Clustering 和 Relational Data Mining），人工智能（如 Bayesian Networks 和 Semantic Web）以及逻辑程序设计的理论、方法、系统及应用。在软件形式化方面，探讨用逻辑程序理论进行模型验证。