De l'analyse du risque à l'ingénierie système
Antoine Rauzy

Pour mon arrivée au LIX, je vous propose de vous présenter un panorama de
mes activités de recherche de ces dernières années.
Je commencerais par mes travaux sur l'algorithmique pour l'analyse du
risque. Je présenterais notamment les techniques à base de diagrammes
binaires de décision pour évaluer les modèles booléens et probabilistes du
type arbres de défaillance et arbres d'événements.
J'expliquerais ensuite comment ces travaux m'ont ammené à concevoir le
langage de modélisation AltaRica.
Enfin, je dirais quelques mots sur le programme de recherche que je compte
développer.
Cet exposé sera aussi l'occasion de vous faire part de mon expérience sur
les aller-retours entre la recherche et l'industrie.