Examen professionnel qualification chef de projet

12
Examen professionnel qualification chef de projet Examen professionnel qualification chef de projet B. Allombert Institut de Mathématiques de Bordeaux (UMR5251) 16/11/2016

Transcript of Examen professionnel qualification chef de projet

Page 1: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Examen professionnel qualification chef deprojet

B. Allombert

Institut de Mathématiques de Bordeaux (UMR5251)

16/11/2016

Page 2: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Présentation

Présentation

I Entré au CNRS en Juin 2010 via une procédure NOEMI etaccueil en détachement.

I Affecté à l’Institut de Mathématiques de Bordeaux (IMB).I Intégré au pôle "moyen de calcul et développement" de la

cellule informatique de l’IMB.I Qualification professionelle analyste depuis 2011I Doctorat en Mathématique (théorie des nombres).I Ingénieur d’étude en calcul scientifique.I Chef du projet PARI/GP.

Page 3: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Le système de calcul formel PARI/GP

est un système de calcul formel haute performanceorienté vers la théorie des nombres.

I Créé en 1986 à Bordeaux.I 240 000 lignes de code C portable (binaires Linux, Mac

OS, Windows, Android, asm.js).I License GNU GPL, développement ouvert.I environ 25000 utilisateurs, 25 contributeurs actifs.I Version stable 2.9.0 (1 Novembre 2016)I Responsable Scientifique : Karim Belabas, PR Bordeaux.

Page 4: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Impact

I Nombreux utilisateurs dans la communauté internationalede théorie des nombres et dans l’enseignement.

I 600 citations dans des revues scientifiques.I Utilisé par WIMS (logiciel web pour l’enseignement)I Utilisé par SAGE (système de calcul formel généraliste).I Interface ALNUTH pour GAP (logiciel de théorie des

groupes).I Intégré dans les distributions Linux les plus importantes.

Page 5: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Financement

I Poste permanents CNRS, INRIA, Université de Bordeaux(équipe INRIA LFANT)

I Projets ANR Algol, PeaceI Projet ERC AnticsI Un des 5 axes du projet ERI "Horizon 2020"

OpenDreamKit (Budget PARI/GP : 80000e)

Je suis impliqué à 25% dans OpenDreamKit.

Page 6: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Chef de projet

En tant que chef du projet j’assureI la supervision du développementI la coordination des contributeursI la diffusion du logiciel.

Page 7: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Supervision du développement

I État de l’art et étude de faisabilité.I Développement et mise en œuvre d’algorithmes.I Définition des interfaces utilisateurs et documentation.I Suivi de la qualité et des performances du logiciel.I Étude des besoins des utilisateurs.I Responsable de publication ("Release manager").I Empaqueteur Debian et Ubuntu

Page 8: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Coordinateur du projet

Les contributeurs sont principalement des chercheurs et desdoctorants, dont seulement une minorité à Bordeaux. J’assurela coordination du projet gràce à

I La plateforme web de développementI Les conférences "Ateliers PARI/GP"I Groupe de travail en visioconférences.I Encadrement d’ingénieur CDD.I Soutien aux doctorants.

Page 9: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Plateforme web de développement

Responsable.I Page web, téléchargement.I Gestion système de contrôle de version (GIT, 19000

commit)I Système de gestion des bugs (debbugs, 1800 tickets)I Intégration continue multiplateforme (Linux, MacOS,

Windows, Android, asm.js)I Listes de diffusions (500 abonnés)I Wiki

Page 10: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Ateliers PARI/GP

Co-organisateur.I Annuelle depuis 2012. Budget : 15000e.I 5 jours, une quarantaine de participantsI Matin : tutoriels, présentation Après-midi : séances de

développements.I Temps fort pour l’implication des chercheurs dans le

développement.I Prolongement : groupe de travail en visioconférence.

Page 11: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Encadrements

I Encadrements de 3 ingénieurs CDD, dont un docteur.I Supervision de développement de doctorantsI Participation a un jury de thèse.

Page 12: Examen professionnel qualification chef de projet

Examen professionnel qualification chef de projet

Le système de calcul formel PARI/GP

Merci pour votre attention