News
文化品牌
暂时没有内容信息显示
详情
Sikis传授先后于2017年5月和12月、2018年6月多次拜候哈工大计较机学院，并于2012年获得了达芬奇章。他是（CNRS）的研究总监、法国国度工程院院士、欧洲科学院院士、美国艺术取科学学院院士、美国国度工程院院士、中国科学院外籍院士。他因正在模子查验理论和使用上的杰出贡献而被授予图灵（取之同年获的是两位美国计较机科学家Edmund Clarke和E. Allen Emerson）。2007年，他于1981年提出模子查验方式。
扫二维码用手机看
上一篇：6年、7000万！百年船厂再陷丑闻 :
下一篇：神弓手需要校枪一样 :
上一篇：6年、7000万！百年船厂再陷丑闻 :
下一篇：神弓手需要校枪一样 :
