Antoine Rauzy

Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex - France
Email: Antoine.Rauzy [at] lix ( dot ) polytechnique ( dot ) fr
Téléphone: +33 (1) 57 77 80 62 / +33 (6) 89 98 95 06
Fax: +33 (1)69 33 30 14


In theory, there is no difference between theory and practice. In practice, there is.

Most of my research activity concerns Reliability Engineering and System Safety. I'm working on algorithms, methods and tools for risk analysis in industrial systems such as aircrafts, nuclear power plants, offshore platforms, cars and trains. I developed the state-of-the-art Fault Tree assessment tools Aralia (now commercially distributed by Dassault Systemes) and now XFTA. I created and I'm still developing the AltaRica language. AltaRica is an event based, high level formalism dedicated to safety analyses. It has been chosen as the core language of the industrial workbenches Cecilia-OCAS by Dassault Aviation, Simfia V2 by EADS APSYS and Safety Designer by Dassault Systemes.

PhD Students & Post-docs (current)

Editorial Boards

Scientific Dissemination



Professeur Chargé de Cours at Ecole Polytechnique
Modifiée pour la dernière fois le: 12-10-2011
Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.