2017-1-9 华东师大外籍教授、简·埃蒙德·阿布瑞尔获2016年度中华人民共和国国际科学技术合作奖

2016年度国家科学技术奖励大会2017年1月9日上午在北京人民大会堂举行。华东师范大学计算机科学与软件工程学院兼职教授、法国著名计算机科学家简·埃蒙德·阿布瑞尔获中华人民共和国国际科学技术合作奖，华东师范大学是上海唯一获此合作奖项的单位。

朱惠彪教授代表华东师大合作方陪同简·埃蒙德·阿布瑞尔教授赴京参会领奖时集体合影留念

中华人民共和国国际科学技术合作奖设立于1994年，是国务院设立的国家级科技奖励，1995年正式授奖，授予对中国科学技术事业做出重要贡献的外国人或者外国组织。

2016年，简·埃蒙德·阿布瑞尔等5名外国专家和国际玉米小麦改良中心获得中华人民共和国国际科学技术合作奖。华东师范大学是上海唯一获奖的国际合作单位。

据中国科学技术奖励办公室官网介绍，国际科学技术合作奖每年授奖数额不超过10个。1995年至2015年，共有19个国家的101位外籍专家和1个国际组织（国际水稻研究所）、1个外国组织（美国德州大学MD安德森癌症中心）被授予该奖项。

简·埃蒙德·阿布瑞尔教授是国际著名工业控制领域可信软件开发方法的奠基人，安全攸关软件开发方法“B方法”的创建者。他将巴黎地铁14号线的开发技术成功应用到我国的轨道交通中，指导卡斯柯信号有限公司研发了高安全信号系统，开发出达到国际最高安全等级的软件，并成功打入国际市场，实现了对国外技术封锁与市场垄断的突破。值得一提的是，近期在上海试运行的首条无人驾驶地铁线17号线“1701号”，作为上海地铁2017年的首列新车，就离不开阿布瑞尔及他的团队这十二年来的付出。这是一项突破行业瓶颈的关键技术。

阿布瑞尔教授还与华东师大、中国航天科技集团合作，对航天嵌入式操作系统进行形式化验证，相关操作系统被应用到嫦娥三号等多颗卫星上。他与中国电科集团开展合作，经过形式化验证的工控操作系统获得OSEK国际认证，部署在70万辆国产汽车上。

阿布瑞尔教授与华东师大共同创建了可信软件国际暑期学校，并已连续举办11年，培训了千余名来自全国各地的工程技术人员。他连续5年开设“B方法”短期课程，向卡斯柯信号有限公司、普华基础软件有限公司等企业和高校的高端技术、学术人才传授工业控制领域的软件技术。同时，阿布瑞尔教授还领衔科技部、外专局“111”创新引智基地海外学术大师，筹建并获批教育部可信软件国际合作联合实验室，策划筹建中欧信息与自动化上海中心。