学位：博士 性别：男 毕业院校：吉林大学 学历：博士研究生毕业 在职信息：在职 所在单位：计算机科学与技术学院、网络安全学院
证书编号：2011J30057 项目来源：2011年度吉林省科学技术进步奖 授奖部门：吉林省科技厅 获奖级别：省部级 获奖等级：三等奖 奖励类别：科学技术进步奖 获奖日期：2012-01-10
上一条：形式化新方法与新技术及其在软件需求工程中的应用
下一条：基于形式化方法的本体工程关键技术研究与应用
