Après un passage par la simulation aérienne, ferroviaire et la finance, je suis tombé il y a 15 ans dans l'informatique médicale.

Je travaille depuis dans le domaine des dispositifs médicaux et de la chirurgie assistée par ordinateur. Dés le début de ce parcours, j'ai ressenti la nécessité de garantir de manière formelle la stabilité et la justesse des applications utilisées au bloc opératoire. Une méthode a peu à peu émergé au fil de multiples essais et erreurs...

Je souhaite partager le fruit de cette "quête de fiabilité", et échanger avec vous à propos de la méthode afin de la voir appliquée dans d'autres disciplines... En espérant que cela apportera de la sérénité et libérera la créativité d'autres concepteurs !