(威尼斯欢乐娱人城·首页新闻信息中心记者 杨婉)9月3日下午在威尼斯欢乐娱人城·首页新大楼126教室，威尼斯欢乐娱人城·首页院长张金隆教
授为威尼斯欢乐娱人城·首页师生做了一场关于国家自然基金重大研究计划“可信软件基础研究”的讲座。
张金隆首先为大家介绍了“可信软件基础研究”项目的背景。国家自然科学基金资助项目分为面上项
目、重点支持项目、重大研究项目等几个不同层次。而此次的“可信软件基础研究”项目属于国家重大
研究项目，国家为此投入1.5亿的资金，由数理科学部、信息科学部、管理科学部共同参与。
什么是可信软件？“可信软件基础研究”的研究内容和意义又是什么呢？张金隆介绍说：“可信软件”
是指软件系统的运行行为及其结果总是符合人们的预期，在受到干扰时仍能提供持续的服务。而软
件的可信性，目前以成为国际上致力于解决的重要课题。“可信软件基础研究”具有战略性、基础性和
前瞻性，对我国的软件业发展具有重大意义。张金隆对此项目的立项原因、国际现状、研究内容的
设立思路、目标与研究成果、计划框架做了具体的讲解。
最后，张金隆教授对这个项目在管理科学方面的若干重大研究方向提出了一些立项建议，并鼓励
我院师生积极参与到此项目的研究中来。