您位于: 首页 / News / 1月11日, 国家自然科学基金委员会“可信软件基础研究”重大研究计划2015年度学术交流暨项目验收会在上海国丰宾馆举行

1月11日, 国家自然科学基金委员会“可信软件基础研究”重大研究计划2015年度学术交流暨项目验收会在上海国丰宾馆举行

1月11日, 国家自然科学基金委员会“可信软件基础研究”重大研究计划2015年度学术交流暨项目验收会在上海国丰宾馆举行. 梅宏教授主持的重点项目"体系结构驱动的可信软件构造方法与技术研究"在会上进行了结题验收. 在项目实施过程中,研究成果在TSE、TSC等国际期刊和本领域重要的 国际会议POPL、OOPSLA、ICSE、FSE、ASE、WWW上发表论文62篇(含已录用),其中,期 刊论文15篇,国际会议论文47篇。培养研究生21名(其中9人已毕业),申请国家发明 专利3项.
导航