2008年9月22日，国家自然科学基金委副主任孙家广院士率基金委专家考察组来北大现场考察可信软件技术创新群体候选项目。考察组成员包括：基金委副主任孙家广院士、基金委信息科学部副主任秦玉文教授、基金委信息科学部副主任张兆田教授、基金委信息科学部计算机科学处处长刘克教授、基金委信息科学部综合处工程师吴国政、中国科学院软件所研究员张建、中国科学院计算所研究员孟丹、信息产业部电信研究院教授级高工何庆立、大唐电信公司教授级高工陈山枝。2003网站太阳集团首页欢迎您常务副校长林建华教授、科研部部长周辉研究员、科研部基础研究办公室主任蔡晖、科研部基础研究办公室副主任马信参加了现场考察会。

 

林建华常务副校长代表北大向考察组介绍了该研究群体的形成背景，并对基金委长期以来给予2003网站太阳集团首页欢迎您科学研究和人才培养的大力支持表示衷心感谢。

 

考察组首先听取了群体项目负责人梅宏教授代表可信软件技术创新群体候选项目所作的报告，并针对该项目的组织和实施进行了深入讨论，考察组随后参观了高可信软件技术教育部重点实验室。

 

考察组充分肯定了该研究群体在软件工程、系统软件和软件理论方面取得的一系列创新性成果，以及所产生的明显经济与社会效益。考察组认为群体提出的研究目标——“围绕软件可信性核心科学问题，建立一套面向可信软件的基础理论、模型、技术及框架”具有前瞻性和挑战性，并“建议依托单位给予该群体大力支持，以期取得更多的原创性研究成果”。

2003网站太阳集团首页欢迎您可信软件技术创新群体长期从事基础软件领域的研究工作。在群体奠基人杨芙清院士的带领下，曾先后完成了我国第一台百万次集成电路计算机操作系统、第一个全部用高级语言编写的操作系统、大型软件开发环境青鸟系统系列等。2000年以来，该群体在国际上主要软件工程类学术会议上发表的长文数量占了中国大陆学者发表论文的2/3，并在若干重要软件工程学术期刊上实现了中国大陆学者的首次论文发表。群体研发的“基于Internet、以构件为核心的软件开发平台”和“构件化应用服务器PKUAS”先后获得2006年国家科技进步二等奖和2007年中国高校技术发明一等奖。