基本信息


沈一栋 中国科学院软件研究所研究员


办公电话:(010) 62661617
电子邮件:ydshen@ios.ac.cn 

个人中文网页:http://people.ucas.ac.cn/~ydshen
个人英文网页:
http://lcs.ios.ac.cn/~ydshen

通信地址:北京市海淀区中关村南四街4号计算机科学国家重点实验室
邮政编码:100190
地理位置:
http://lcs.ios.ac.cn/~ydshen/ios-map.jpg

中国科学院网址:http://www.cas.cn
软件研究所网址:http://www.is.cas.cn
计算机科学国家重点实验室网址:http://lcs.ios.ac.cn

个人简历

现任中国科学院软件研究所计算机科学国家重点实验室主任 
2002年至今:中国科学院软件研究所二级研究员,中国科学院大学教授
1993—2002:重庆大学计算机系教授 
2011年至今:澳大利亚Griffith大学集成智能研究所兼职教授 
1998—2002:加拿大Alberta大学和Simon Fraser大学计算机系访问教授 
1995—1996:美国Maryland大学高级计算机研究所访问学者 
1992—1993:法国Valenciennes理工学院博士后 
1991年:获重庆大学计算机科学博士学位 
1999年:入选教育部跨世纪优秀人才培养计划 
1998年:入选国家人事部百千万人才工程第一、二层次人选

研究方向

主要研究数据挖掘 (如 Association, Classification, Clustering, Document Summarization, Relational Data Mining), 人工智能 (如 Knowledge Representation and Reasoning, Bayesian Networks, Semantic Web) 以及逻辑程序设计 (Logic Programming and Answer Set Programming) 的理论、方法、系统及应用。在软件形式化方面,探讨用逻辑程序理论进行模型验证。

在研项目

1、负责国家973计划课题: 网络大数据的表示、度量与语义理解 
              
2、负责国家自然科学基金课题: 通用型回答集程序关键问题研究

代表性研究工作

在数据挖掘方面,提出了基于utility的关联规则挖掘方法,多源异构大数据的采样、特征选择、以及度量学习模型,更新式Web文档自动摘要模型等;在人工智能知识表达与推理方面,提出了语义Web本体数据与规则的集成模型,回答集逻辑语言的语义模型,贝叶斯逻辑程序的递归循环处理方法, 逻辑程序可终止性的动态判定方法, 以及逻辑程序的linear tabling推理方法等。主要成果发表在一流国际学术期刊和会议,包括Artificial Intelligence (AIJ)、ACM Transactions on Computational Logic (TOCL)、ACM Transactions on Information Systems (TOIS)、 IEEE Transactions on Knowledge and Data Engineering (TKDE)、The AAAI Conference on Artificial Intelligence (AAAI)、The International Joint Conference on Artificial Intelligence (IJCAI)、The ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)、The IEEE International Conference on Data Mining (ICDM)、The International World Wide Web Conference (WWW) 等。


代表性研究论文


招生信息

招生专业
计算机软件与理论

招生方向
数据挖掘与人工智能,软件形式化方法


指导研究生

已毕业研究生

  • 张广泉:博士,现任苏州大学教授
  • 杜剑峰:博士,现任广州外经贸大学教授
  • 沈志勇:博士,现就职百度公司
  • 李   炫:博士,现就职百度公司
  • 杜   亮:博士,现就职阿里巴巴公司 
  • 邓   军:硕士,现就职Google公司
  • 张世明:硕士,现就职华为诺亚方舟实验室(Noah’s Ark Lab in Hong Kong)
  • 熊辰炎:硕士,现在Carnegie Mellon University读博士
  • 苏   柏:博士,计算机软件与理论
  • 孙   军:博士,计算机软件与理论 
  • 李成果:硕士,计算机软件与理论

在读研究生

  • 周   芃:博士研究生,计算机软件与理论
  • 汪涵默:博士研究生,计算机软件与理论
  • 石   磊:博士研究生,计算机软件与理论
  • 史德庆:博士研究生,计算机软件与理论 
  • 柏德祥:博士研究生, 计算机软件与理论
  • 曾梦祺:博士研究生, 计算机软件与理论
  • 刘   冲:博士研究生,计算机软件与理论