实验室介绍

广西可信软件重点实验室是以可信软件基础理论和行业示范应用为中心的省部级实验室,是国内知名、区内一流的可信软件基础理论和应用研究基地。实验室拥有新世纪国家百千万人才工程人选1人,国务院政府特殊津贴专家2人,广西卓越学者1人,广西高校优秀人才3人,教授23人,博导8人,博士31人。实验室以可信软件基础理论和应用研究为主线,从以下4个方向开展研究工作:可信软件形式化理论与方法、可信网络软件工程、可信泛在...More