Menu

Vincent FILOU

MASSY

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 :