Montigny-le-Bretonneux
Docteur es informatique & spécialiste des méthodes formelles. Je suis chef de projet chez Bertin Technologies où je m'occupe de projets R&D. Mes compétences : Philosophie Méthodes formelles C Architecture logicielle OCaml C++