Menu

Bertrand BOISVERT

TOULOUSE

En résumé

Ingénieur en conception et développement logiciel avec 4 ans d'expérience dans la recherche en génie logiciel et l'enseignement et parallèlement 8 ans d'expérience dans le monde associatif entant que développeur et chef d'équipe.

Mes compétences :
Objective CAML
Java
ECLiPSe
UML/OMT
SQL
MySQL
Linux Debian
Django
C Programming Language
Ada
Symfony2
SVN
Git
Isabelle/HOL
JavaScript
Neo4j
PHP 5
MongoDB
AngularJS
MeteorJS

Entreprises

  • DocDoku - Consultant confirmé: conseil, formation et développement NTIC

    TOULOUSE 2015 - maintenant

  • Akka Technologies - Analyste

    Paris 2014 - 2015

  • Université Paul Sabatier (Toulouse III) - Enseignant et chercheur, conception et développement logiciel

    Toulouse 2009 - 2013 Chercheur en génie logiciel, laboratoire IRIT, équipes ACADIE et MACAO
    Conception d'un nouveau système de transformation de graphes attribués.

Formations

  • Université Toulouse

    Toulouse 2009 - 2013 Doctorat

    Sûreté du Logiciel et Calcul haute Performance.
    Domaines : Théorie des graphes, Ingénierie Dirigée par les Modèles, lambda-calcul.

  • Université Paul Sabatier

    Toulouse 2008 - 2009 Master 2 Recherche - Informatique et Télécommunications

    Parcours Systèmes d'Information et Génie Logiciel (Mention Bien)

  • Université Paul Sabatier

    Toulouse 2007 - 2008 Licence de Mathématiques, Informatique et Applications

Réseau

Annuaire des membres :