Véronique Delebarre

CEO and co-founder of SafeRiver

  • Safety and Security Services for Embedded Systems
  • Model Based Design, Model Checking and Model Based Testing
  • Static Analysis, Value Analysis, Robustness and Vulnerabilities Assessment
  • Standards Compliance (EN50126, 50128, 50129, ISO 26262, IEC 61508)
  • Formation: PhD

Christèle Faure

CSO of 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: professor

Her website

Samuel Colin

Software safety and security consultant

  • Formal methods and software proof
  • Languages: Ada, C, C++, OCaml, Java, Perl
  • Formalisms: B, EventB, Coq, UML
  • Static code analysis: Frama-C, Polyspace et development of proprietary tools
  • Versioning systems: CVS, Subversion, Git, Fossil
  • Environments: AtelierB, B4Free, Rodin, Coq
  • Methodologies: EBIOS
  • Webmaster
  • Formation: PhD

His website

His Github page