Véronique Delebarre

Directrice générale et co-fondatrice de SafeRiver

  • Services pour la sûreté et la sécurité des système embarqués
  • Conception basée sur les modèles, test basés sur les modèles, model-checking
  • Analyse statique, analyse de valeurs, évaluation de la robustesse et de la vulnérabilité de systèmes embarqués
  • Conformité aux normes (EN50126, EN50128, EN50129, ISO 26262, IEC 61508)
  • Formation: doctorat

Christèle Faure

Directrice scientifique de SafeRiver

  • Intégration de connaissances issues de la recherche, transfert de prototypes scientifiques, développement de logiciels innovants basés sur des résultats issus de la recherche
  • Analyse statique de code source (détection automatique d'erreurs d'exécutions, différentiation automatique par transformations de programmes), calcul formel et réécriture équationnelle
  • Direction d'équipes de recherche, de développement logiciel et de gestion de qualité logiciel
  • Édition de logiciels: traduction de besoins clients en spécification logicielle, spécification, conception et développement de logiciels
  • Formation: professeur (habilitation à diriger des recherches)

Son site web

Samuel Colin

Consultant en sûreté et sécurité logicielle

  • Méthodes formelles et preuve de logiciels
  • Langages: Ada, C, C++, OCaml, Java, Perl
  • Formalismes: B, EventB, Coq, UML
  • Analyse statique de code: Frama-C, Polyspace et développement d'outils propriétaires
  • Gestion de version: CVS, Subversion, Git, Fossil
  • Environnements: AtelierB, B4Free, Rodin, Coq
  • Méthodologies: EBIOS
  • Élaboration de sites web
  • Formation: doctorat

Son site web

Sa page Github