学位：博士 性别：男 学历：博士研究生毕业 在职信息：在职 所在单位：计算机科学与技术学院
证书编号：2017Z20001 项目来源：2017年度吉林省自然科学奖 授奖部门：吉林省科技厅 获奖级别：省部级 获奖等级：二等奖 奖励类别：自然科学奖 获奖日期：2017-11-10
下一条：形式化新方法及其在云计算中的应用
