广西可信软件重点实验室实验室介绍

广西可信软件重点实验室实验室介绍实验室自建设以来,先后承担了多项国家级项目,取得了一批高水平的学术成果

近三年来承担了国家“863”计划项目2项,国家自然基金项目12项,国防科研项目3项,其它国家部委项目3项,国家重点实验室项目1项,广西科学基金项目和广西科技攻关项目18项,其它课题120多项, 科研经费总计2000多万元;获省部级科技奖3项,其它重要奖励6项,申请发明专利4项,实用新型专利5项,软件著作权27项;出版学术专著5部,教材10余部

高可信软件是“国家中长期科技发展规划”中的一个关键技术领域,国际上正在争先展开研究

实验室制定了科学的发展规划,完善的管理制度,常年设立开放研究基金,欢迎有志于可信软件理论及技术研究的学者到实验室进行访问研究,申请实验室开放课题基金

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关