Menu

Charles PRUD'HOMME

NANTES

En résumé

Je suis actuellement ingénieur de recherche au sein de l'équipe TASC (Théorie, Algorithmes et Systèmes en Contraintes) à l'IMT Atlantique (site de Nantes).
Après une première expérience de la gestion de projet au sein de Logica, j'ai été accueilli par l'équipe TASC pour piloter la librairie de contraintes Choco -- solveur de contraintes open-source et libre, développé en Java.
En 2014, j'ai soutenue une thèse de doctorat en Informatique et applications intitulée "Contrôle de Propagation et de la Recherche dans un Solveur de Contraintes". En collaboration avec Jean-Guillaume Fages (CEO Cosling), les résultats de cette thèse ont permis de refondre entièrement la librairie Choco. Aujourd'hui encore, Choco est téléchargé plus de 1000 fois par mois.

En plus des tâches de recherche, développement et de maintenance, mes missions principales s'articulent autour de l'animation de la communauté d'utilisateurs de Choco (documentation, site web, forum, etc.), la réalisation de formation en Programmation par Contraintes (PPC) ainsi que du conseil et accompagnement à l'intégration de la PPC.

Liens:
http://www.imt-atlantique.fr
http://web.emn.fr/x-info/ppc/
http://www.choco-solver.org
https://cprudhom.github.io

Mes compétences :
Optimisation
Programmation Linéaire
Programmation par Contraintes
Logiciel libre
Développement logiciel
Java
Analyser et améliorer les performances
Modélisation mathématique
Test de performance

Entreprises

  • IMT Atlantique (Nantes) - Ingénieur de recherche

    2014 - maintenant Administrateur de la librairie Choco.
    Refonte, développement et maintenance de la librairie open-source Choco dédiée à la modélisation de problèmes mathématiques ainsi qu'à leur résolution.
    Formation à la Programmation par Contraintes (cycle ingénieur, partenaires industriels) et conseils et accompagnement de projet (partenaires industriels).

    Compétences: algorithmes et structures de données, programmation (Java, python), campagne de tests, rédaction d'articles scientifiques et de documentation, conception logicielle.

  • Ecole des Mines de Nantes - Ingénieur étude

    2007 - 2014 Evolution et maintenance de la librairie open-source et libre Choco, un solveur de contraintes en Java.
    Missions: développements de features, correction de bugs, consolidation de la base de tests, rédaction de documentation, animation de la communauté, formation à la programmation par contrainte, encadrements de projets étudiants et de stagiaires.

    En parallèle, à partir de 2011, début d'un thèse de Doctorat en Informatique et applications autour du solveur Choco.

  • Unilog Logica CMG - Concepteur développeur

    2005 - 2007 En charge de la maintenance et de l'évolution du SI des agents contrôleurs de la SNCF.
    Missions: rédactions des spécifications fonctionnelles, mise en place de campagne de tests, estimation de charges et encadrement de 3 développeurs.

Formations

  • Mines De Nantes

    Nantes 2011 - 2014 Doctorat de l'Ecole nationale supérieure des mines de Nantes

    Thèse de Doctorat en Informatique et applications (CNU 27) intitulée: "Contrôle de la Propagation et de la Recherche dans un solveur de Containtes".
    Cette thèse porte sur l'enrichissement de l'arsenal des techniques disponibles dans les solveurs de contraintes afin de répondre au besoin de personnalisation tant au niveau de la modélisation que de la résolution.
    La mise en oeuvre des travaux de cet

  • Institut Mathématiques Appliquées

    Angers 1999 - 2004 DESS

    DESS Mathématiques Appliquées et Informatique, spécialité Optimisation en productique et logistique.

Réseau

Annuaire des membres :