沈一栋

  • 余春燕
  • 发布于 2015-09-10
  • 3822
  • 沈一栋
  • 沈一栋,1958年出生,中国科学院软件研究所计算机科学国家重点实验室研究员,博士生导师 , 四川省首批跨世纪优秀人才,1998年入选为国家百千万工程一、二梯队,1999年教育部跨世纪青年骨干教师。1991年在重庆大学获计算机科学理论博士学位,1992-1993年在法国Valenciennes理工学院进行CIMS专家系统及工程演绎数据库课题的合作研究; 1995-1996访问美国马里兰大学高级计算机研究所,在著名计算机科学家Jack Minker教授指导下进行逻辑程序及演绎数据库的理论研究;1998-2000年加拿大阿尔北特大学计算机系客座教授。 主要研究数据挖掘(如 Association, Classification, Clustering 和 Relational Data Mining),人工智能(如 Bayesian Networks 和 Logic Reasoning)以及逻辑程序设计的理论、方法、系统及应用。在软件形式化方面,探讨用逻辑程序理论进行模型验证。在人工智能、逻辑程序设计、数据挖掘等领域取得了一些有意义的研究结果,完成多项国家自然科学基金课题。与童兆页教授合作的专著《知识工程》科学出版社出版)获1996年电子工业部优秀教材一等奖,在国内外重要学术期刊和国际会议发表论文六十多篇。是在《ACM Transactions on Computational Logic》和《Theory and Practice of Logic Programming》(新的国际逻辑程序设计协会会刊)上发表论文的第一位中国学者,是上述刊物以及《ACM Transactions on Programming Languages and Systems》和《Theoretical Computer Science》的审稿人。