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++