简·埃蒙德·阿布瑞尔 Jean Raymond Abrial

基本信息

外文名：Jean Raymond Abrial 国籍：法国 出生日期：1938年11月 职业：计算机科学家

人物经历

简·埃蒙德·阿布瑞尔（Jean Raymond Abrial），1938年11月生，法国籍计算机科学家，苏黎世联邦理工学院原教授，欧洲科学院院士。作为安全攸关软件开发方法“B方法”的创建者与实践应用引领者，其方法为形式化软件开发过程提供数学基础，被国际工业控制领域广泛应用。阿布瑞尔于20世纪90年代创立“B方法”，2005年起与华东师范大学合作，首次将“B方法”系统级工控软件高安全保障解决方案引入中国。通过与航空航天、轨道交通、汽车电子等领域合作，指导完成多个安全软件系统研发。领衔教育部/国家外专局学科创新引智基地，协助筹建科技部国家可信软件国际联合研究中心，并共同创建连续举办11年的可信软件国际暑期学校。获2016年度中华人民共和国国际科学技术合作奖。

主要成就

安全攸关软件开发方法“B方法”的创建者与实践应用的引领者

获奖记录

2016年度中华人民共和国国际科学技术合作奖

资料来源

本条目内容整理自百度百科公开词条，获奖信息以中华人民共和国科学技术部公布的表彰决定与公告为准。