纪金龙
现任公司董事,中央研究院副院长,形式化验证首席专家
人物介绍
系统摘要
现任公司董事,中央研究院副院长,形式化验证首席专家
当前职务
现任公司董事,中央研究院副院长,形式化验证首席专家
履历摘要
曾任中国科学技术大学计算机系副主任、日本Miura株式会社开发部部长。自2017年起任公司控股子公司安徽中科国创高可信软件有限公司常务副总经理,领导公司高可信软件形式验证产品的研发。
当前在任 1
历史任职 1
近期变动 0
当前还没有这个人物的近期变动记录。
原始简历来源 1
EastMoney Profile
博士
纪金龙先生:1959年12月出生,中国国籍,拥有日本永久居留权,中国科学技术大学计算机软件专业工学博士,曾分获中国科学院科学进步奖二等奖、三等奖。曾任中国科学技术大学计算机系副主任、日本Miura株式会社开发部部长。自2017年起任公司控股子公司安徽中科国创高可信软件有限公司常务副总经理,领导公司高可信软件形式验证产品的研发。现任公司董事,中央研究院副院长,形式化验证首席专家。