简·埃蒙德·阿布瑞尔,法国籍,男,1938年11月生。国际著名计算机科学家,苏黎世联邦理工学院原教授,欧洲科学院院士。
阿布瑞尔教授是安全攸关软件开发方法“B方法”的创建者与实践应用的引领者。他于上世纪90年代创立了可信软件开发方法“B方法”,为形式化软件开发过程提供了坚实的数学基础。他提出的软件开发方法被国际工业控制领域广泛接受并应用,成为保障工业安全产品的里程碑技术。
自2005年起,阿布瑞尔教授与华东师范大学合作,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,打破该技术的国际垄断,增强了中国相关产品的国际竞争力。通过与航空航天、轨道交通、汽车电子等领域的龙头企业合作,指导完成多个安全软件系统的设计研发,提升了中国安全攸关行业自主可控软件的研发能力。阿布瑞尔教授以海外学术大师身份领衔教育部/国家外专局学科创新引智基地;协助华东师范大学筹建并获批了科技部国家可信软件国际联合研究中心;共同创建可信软件国际暑期学校,已连续举办11年,为工业界与学术界培养了一批高端软件研发人才。