报告人：Antoine Rauzy

题目一：Complex System Engineering（复杂系统工程）

时间：3月15日9：30-11:30

地点：南堂116

题目二：The AltaRica 3.0: An Introduction to a Safety Analyses Language（安全分析语言AltaRica介绍）

时间：3月16日9：00-11:30

地点：南教206

报告人简介：Antoine Rauzy，男，博士，教授，长期从事系统安全与可靠性、系统工程、算法与语言等研究，现任法国巴黎中央理工-高等电力学院(CentraleSupélec)、巴黎综合理工学院(Ecole Polytechnique)教授，Chair Blériot-Fabre(CentraleSupélec, Safran资助)主任，兼任Reliability Engineering and System Safety, Journal of Risk and Reliability编委，多次担任国际会议主席。曾任达索系统(Dassault Systèmes)系统工程部研发主任，法国国家科学研究中心(CNRS)、波尔多一大、地中海大学研究员，ARBoost科技公司创始人兼CEO。发表学术论文100余篇，主编会议论文集多部，独著论文最高被引400余次。主要学术业绩为提出了事故树分析的数学和算法基础，主持开发的安全评估语言AltaRica，已成为达索航空Cecilia OCAS软件、空客Simfia软件和达索系统Safety Designer软件的内核建模语言。开发有事故树分析软件Aralia(达索系统商用)和XFTA(开源)。

机电工程学院 科技处 国际合作与交流处 研究生院

2015年3月11日