Menu

Franck LEBEAU

Le Chesnay

En résumé

Si vous cherchez un Docteur pour guérir les troubles fonctionnels de vos applications, je suis votre homme !

La validation des applications et des processus métier des SI est mon domaine de prédilection. Depuis 13 ans, à travers plusieurs postes et rôles, je travaille et milite pour exploiter une approche outillée permettant de maîtriser la production des plans de tests à partir des exigences.

Mes compétences :
Agile Development
Validation fonctionnelle
Model based testing
Gestion de projet
UML
Gestionnaires d'exigences
Gestionnaires de tests

Entreprises

  • INRIA - Ingénieur Chercheur

    Le Chesnay 2012 - maintenant Dans la cadre de projets de recherche labélisés INRIA dédiés à la sécurité logicielle (robustesse applicative, sécurité applicative Web):
    - encadrement technique de projet
    - travail de veille technologique et méthodologique pour identifier les besoins de recherche dans le domaine de la sécurisation des applications Web
    - travail de recherche permettant d’assoir les bases théoriques d’un prototype de détection automatisée des vulnérabilités des applications Web
    - gestion agile du développement des prototypes, confrontés aux cas d'études des partenaires industriels

  • Smartesting - Directeur de produit

    Besançon 2008 - 2012 Au sein d’une entreprise innovante:
    - responsable des releases du produit Smartesting CertifyIt (logiciel MBT dédié à la génération automatisée de tests fonctionnels à partir de modèle)
    - travail collaboratif avec toute l’entreprise (Opération, Marketing, Consulting, Support et Comité de Direction) pour récolter/choisir/planifier/prioriser/organiser les évolutions de l'outil et produire la roadmap
    - management Agile des développements en tant que Product Owner (définition des ‘Minimal Marketable Features’, cotation, planning des itérations, définition et rédaction des tests d'acceptation, release notes, mise à disposition des releases d'itérations, documentation)

  • Smartesting - Consultant

    Besançon 2006 - 2008 Au sein d’une entreprise innovante, accompagnement technique et organisationnel des clients pour l'exploitation du logiciel Smartesting CertifyIT (logiciel MBT dédié à la génération automatisée de tests fonctionnels à partir de modèle)

  • Laboratoire d'Informatique de l'Université de Franche-Comté - Ingénieur de développement

    2006 - 2006 Continuité du travail de thèse, et transfert de la technologie dans le secteur privé (Smartesting).

  • Laboratoire d'informatique de l'Université de Franche-Comté - Doctorat Informatique

    2002 - 2005 Thèse " Génération de tests à partir de statecharts fondée sur le calcul de comportements "
    - mise en place d'une méthode de génération automatique de tests fonctionnels à partir de modèles Statecharts (algorithmes de génération, métriques/critères de couverture, critères de sélection);
    - développement d'un prototype, mise en application de la méthode dans le cadre de partenariats industriels.

  • PSA Peugeot Citroën - Expert en Méthodes Formelles

    Rueil Malmaison 2001 - 2002 Evaluation de trois environnements de modélisation formelle (Statemate, ObjectGeode et Scade) au regard de leur maturité (ergonomie, support technique, facilité de compréhension), de leur adéquation aux besoins métiers, de l’intérêt de leur environnement et des fonctionnalités satellites (vérification automatique de propriétés dynamiques sur les systèmes, génération automatique de tests fonctionnels ou unitaires, génération automatique de code embarqué ou de simulation, ...)

Formations

  • Laboratoire D'Informatique De L'Université De Franche-Comté LIFC

    Besancon 2002 - 2005 Doctorat

    Informatique - Thèse "Génération automatique de tests à partir de statecharts fondée sur le calcul de comportements"

  • Université De Franche Comté (Besancon)

    Besancon 2000 - 2001 DEA Informatique, Automatisme et Productique (IAP) - option Génie Logiciel

    Mention Bien

    spécification et vérification formelle, modèle de calcul et système d’événements, algèbre de processus et équivalence, programmation en logique avec contraintes, stratégie et méthode de commande, algorithmique, ingénierie des protocoles.

  • Université De Versailles Saint Quentin En Yvelines UVSQ (Versailles)

    Versailles 1999 - 2000 Maîtrise

    Mention Assez Bien

    réseaux, programmation parallèle et distribuée , SGBD, recherche opérationnelle, simulation.

  • Université De Versailles Saint Quentin En Yvelines UVSQ (Versailles)

    Versailles 1998 - 1999 Licence

    Mention Assez Bien

    complexité, algorithme, mathématique pour l’informatique, SGBD, réseaux, architecture des processeurs.

  • IUT De Vélizy (Vélizy)

    Vélizy 1996 - 1998 DUT Services et Réseaux de Communication (SRC)

    IUT Informatique - réseaux, communication, logiciels auteurs, retouche d’images, programmation, 3D. La finalité du diplôme est de créer un CD-Rom, de sa conception à sa réalisation.

Réseau

Annuaire des membres :