项目名称：开发高可信软件的支撑工具

归属方：中国科学技术大学

合作方：科大国创软件股份有限公司、纪金龙、华蓓、张昱、陈意云、李兆鹏

成果转化方式：新设公司（名称暂定），作价入股

注册资本: 约人民币壹仟万元

作价入股金额：约人民币贰佰万元

技术团队成员：陈意云（占技术团队收益比例54.17%）、华蓓（占技术团队收益比例12.5%）、张昱（占技术团队收益比例12.5%）、李兆鹏（各占技术团队收益比例20.83%）

公示期：2017年5月22日-2017年6月5日

若有异议，请在公示期与校内管理部门联系：

科研部 江山 联系电话:0551-63601953；邮件：iamjs359@ustc.edu.cn

资产与后勤保障处 熊燕 联系电话：0551-63602425;邮件:xy2015@ustc.edu.cn