姓名：张松懋    单位：中国科学院 数学与系统科学研究院   职称：研究员

学历：

1992年，中国科学院数学研究所，获博士学位

1989年，国防科学技术大学计算机系，硕士学习期间被推荐免试直接攻读博士学位

1987年，国防科学技术大学计算机系，获学士学位

工作经历：

2007－至今，研究员，博士生导师，中国科学院数学与系统科学研究院

1995－2007年，副研究员，中国科学院数学与系统科学研究院

1992－1995年，助理研究员，中国科学院数学研究所

国外学术机构访问经历：

2009年，访问学者（Visiting Scholar），美国Case Western Reserve University，Department of Electronics, Electrical Engineering and Computer Science

2008年，访问学者（Visiting Scholar），英国女王大学，School of Electronics, Electrical

Engineering and Computer Science，Queen's University Belfast

2002－2005年，访问学者（Guest Researcher），美国国家卫生研究院，Lister Hill National Center for Biomedical Communications，US National Library of Medicine（NLM），National Institutes of Health（NIH）

2000－2001年，访问学者（Visiting Scholar），澳大利亚迪肯大学，School of Computing and Mathematics，Deakin University

1996－1997年，访问学者（Visiting Scholar），德国不莱梅大学，AILabor，Universitaet Bremen

1995－1996年，访问学者（Visiting Scholar），法国信息和系统控制研究所，Institut de Recherche en Informatique et Systemes Aleatoires（IRISA）

主持的科研项目：

2016 - 至今 子课题负责人 国家重点研发计划课题 "大数据知识工程基础理论及其应用研究" 中的子课题 "基于溯源和评估理论的知识演化规律研究"  （资助金额：855万元） 正在进行

2009－2012年，参与主持，北京市科研基地-科技创新平台项目“智能化动漫技术创新平台”（资助金额：100万元），已完成

2007－2008年，参与主持，国家科技支撑计划课题“古代建筑虚拟修复及WEB表现技术研究”中的子课题“基于语义理解的古代建筑动画辅助生成系统”（资助金额：116万元），已完成

2004－2008年，主持，自然科学基金重大项目“非规范知识处理的基本理论和核心技术”（资助金额：55万元），已完成

1998－2001年，第二负责人，国家自然科学基金重点项目“常识性知识的实用性研究”（资助金额：80万元），已完成

1998－2000年，主持，国家863课题“基于自然语言语用分析的智能学生模型的研究”（资助金额：10万元)，已完成

1998－2000年，主持，国家自然科学基金项目“自然语言中的上下文有关现象处理研究”（资助金额：11万元），已完成

1996－1997年，主持，国家自然科学基金项目“故事理解的形式化模型的研究”（资助金额：8万元），已完成

1994－1995年，主持，国家自然科学基金项目“基于高维和上下文有关文法的故事理解的研究”（资助金额：5万元），已完成

1991－1995年，第二负责人，中国科学院院长基金特别资助项目“全过程计算机辅助自动动画制作”（资助金额：30万元），已完成

主要学术任职：

2008年－至今，任学术期刊International Journal of Software and Informatics（IJSI）编委会委员

2008年－至今，任学术期刊《计算机科学与探索》编委会委员

2007年－至今，被聘为北京工业大学兼职教授

2009年－至今，被聘为中国科学院计算所兼职研究员

1996年－至今，任中国计算机学会模式识别与人工智能专业委员会委员

2008年，任International workshop on web personalization, reputation and recommender systems（WPRRS’08）程序委员会委员

1999年－2002年，任未来软件技术国际研讨会（ISFST）程序委员会委员

1998年，任第三届未来软件技术国际研讨会（ISFST' 98）程序委员会中方主席

学术期刊审稿人：

Journal of Biomedical Informatics、International Journal of Information Sciences、

Journal of Computer Science and Technology、《软件学报》、《计算机学报》、《自动化学报》、《计算机研究与发展》、《系统科学与数学》等