语言选择：
是世界出名嵌入式系统专家，他于1981年提出模子查验方式，这一方式被普遍使用于芯片检测、通信和谈、嵌入式系统以及平安算法等范畴。2007年，他因正在模子查验理论和使用上的杰出贡献而被授予图灵（取之同年获的是两位美国计较机科学家Edmund Clarke和E。 Allen Emerson）。他是（CNRS）的研究总监、法国科学院院士、法国国度工程院院士、欧洲科学院院士、美国艺术取科学学院院士、美国国度工程院院士、中国科学院外籍院士。他曾获国国度勋章以及法国荣誉军团勋章，并于2012年获得了达芬奇章。目前Sikis传授正在法国的格勒诺布尔以嵌入式系统著称世界的研究核心VERIMAG尝试室进行研究工做，Sikis传授先后于2017年5月和12月、2018年6月多次拜候哈工大计较机学院，并担任哈工大物联网国际尝试室从任。
联系人：郭经理
手机：18132326655
电话：0310-6566620
邮箱：441520902@qq.com
地址： 河北省邯郸市大名府路京府工业城