examen professionnel qualification chef de projet

Click here to load reader

Post on 19-Jun-2022

1 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

Examen professionnel qualification chef de projetB. Allombert
16/11/2016
Présentation
Présentation
I Entré au CNRS en Juin 2010 via une procédure NOEMI et accueil 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 2011 I Doctorat en Mathématique (théorie des nombres). I Ingénieur d’étude en calcul scientifique. I Chef du projet PARI/GP.
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 performance orienté 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.
Examen professionnel qualification chef de projet
Le système de calcul formel PARI/GP
Impact
I Nombreux utilisateurs dans la communauté internationale de 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.
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, Peace I Projet ERC Antics I Un des 5 axes du projet ERI "Horizon 2020"
OpenDreamKit (Budget PARI/GP : 80000e)
Examen professionnel qualification chef de projet
Le système de calcul formel PARI/GP
Chef de projet
En tant que chef du projet j’assure I la supervision du développement I la coordination des contributeurs I la diffusion du logiciel.
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
Examen professionnel qualification chef de projet
Le système de calcul formel PARI/GP
Coordinateur du projet
Les contributeurs sont principalement des chercheurs et des doctorants, dont seulement une minorité à Bordeaux. J’assure la coordination du projet gràce à
I La plateforme web de développement I Les conférences "Ateliers PARI/GP" I Groupe de travail en visioconférences. I Encadrement d’ingénieur CDD. I Soutien aux doctorants.
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
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 participants I 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.
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 doctorants I Participation a un jury de thèse.
Examen professionnel qualification chef de projet
Le système de calcul formel PARI/GP
Merci pour votre attention