After a few years working in aerial and train simulation, and finance, I discovered computerized medicine 15 years ago.

I've been working ever since in the field of medical devices and computer assisted medical intervention. The necessity to formally ensure the robustness and correctness of software destined to be used on patients in the operating room dawned on me since the very beginning... A method emerged from my multiple trials and errors.

Today I wish to share the results of this "quest for correctness", discuss the method with you, and see it come to life in other disciplines... Hoping that it will bring serenity and unleash creativity in other designers!

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 !