logo
Menu

Vincent FILOU

MASSY

Résultats examens 2026

RETROUVEZ GRATUITEMENT Le résultat du bac dans l'Académie de NormandieLe résultat du brevet dans l'Académie de Normandie

En résumé

Docteur en informatique, passionné par les méthodes formelles et leur application à la sûreté de fonctionnement.

Mes compétences :
coq
Perl
Simulink
Linux
OCaml

Entreprises

  • verimag - Chercheur post doctorant

    2017 - 2018

  • LR Technologies - Ingénieur d'étude

    Versailles 2015 - 2017 Consultant validation interlocking Ansaldo STS

  • Safe River - Ingénieur d'étude

    2013 - 2014 Vérification des données d'un système CBTC
    FMEA/FTA d'un logiciel CBTC
    preuve de propriétés de sureté sur model simulink
    développement d'applications pour l'analyse de spécifications

Formations

Annuaire des membres :