Docteur en informatique ayant effectué sa thèse sur les liens entre modélisation et optimisation, je suis particulièrement intéressé par une approche "opérationnelle" de la modélisation qui s'intègre dans les cycles de développement existants.
Mon intérêt pour les domaines industriels critiques m'a également amené à m'intéresser à la gestion des exigence, leur traçabilité et leur formalisation, intérêt qui a donné naissance au langage REAL.
Mon but en tant que consultant est d'aider les industriels à assurer de façon plus efficace et plus formelle la sûreté de leurs processus de conception/développement.
Mes compétences :
AADL
Ada
Informatique
Langage Ada
Modélisation
Systèmes Critiques
Systèmes Embarqués