Mes compétences :
Développement informatique
Agrégation de Sciences Industrielles de l'Ingénieur
Entreprises
Ministère de l'Education nationale
- Professeur agrégé
Paris2017 - maintenantEnseignant en CPGE
IRT SystemX
- Doctorant
Palaiseau2014 - 2017Au sein d'un projet de recherche industriel (OpenAltaRica), dans le domaine de la sûreté de fonctionnement basée sur les modèles (MBSA) :
- Spécification et développement d'outils logiciels innovants (C++) : simulateur stochastique et model-checker AltaRica 3.0 ;
- Gestion du processus de développement logiciel : versionnement (git), automatisation de tâches (compilation, tests, ...) (Python, Bash) ;
- Rédaction de rapports, documentations, démonstrations, documents de formation ;
- Rédaction d'articles scientifiques et présentation en conférences ;
- Formation d'utilisateurs, encadrement de stage.
LURPA, ENS Cachan
- Stagiaire
2014 - 2014Stage de Master 2 de recherche, en sûreté de fonctionnement, avec le LURPA (ENS Cachan) et Airbus Group Innovations.
Ministère de l'Éducation nationale
- Interrogateur et intervenant
Paris2013 - 2017Interrogation orales, préparations aux épreuves orales, et formations technologiques en classes préparatoires aux grandes écoles (CPGE) PCSI/PSI et PT, en Sciences Industrielles de l'Ingénieur
CNS Conseil
- Développeur
2011 - 2013Dans le cadre de la Junior-Entreprise de l'ENS Cachan, réalisation en équipe d'un logiciel d'optimisation et de prévision d'opérations logistiques pour le compte de Louis Dreyfus Armateurs :
- Spécification du logiciel en accord avec les besoins du client;
- Développement du logiciel (OCaml);
- Rédaction de documentation et formation des utilisateurs.
Ecole Centrale de Paris
- Enseignant vacataire
2011 - 2017Dans le cursus Ingénieur Centralien, enseignement de cours d'ingénierie des systèmes complexes et d'ingénierie de conception :
- Animation de séances, encadrement de projets d'élèves;
- Conception de sujets d'examens et de travaux dirigés;
- Correction d'examens, jury de soutenance.
University of Auckland - Electronic and Computer Engineering
- Honorary research assistant
2011 - 2011Stage de Master 1, 3 mois, au département ECE (Electronic and Computer Engineering) de l'université d'Auckland.
Application d'un sujet de recherche du LURPA, vérification formelle des Systèmes à Evénements Discrets, en NCES et IEC 61499 (avec FBDK), sur des cas d'application.
Ecole Normale Supérieure de Cachan
- Fonctionnaire
Sujet : Vérification probabiliste de propriétés de modèles AltaRica 3.0.
Thèmes de recherche : Model-Based Safety Assessment (MBSA), model-checking, stochastic simulation, Monte-Carlo simulation, performances of algorithms and data structures.
