Mes compétences :
Objective CAML
Java
C++
Apple MacOS
Entreprises
Systerel
- Ingénieur méthodes formelles
Aix en Provence2017 - maintenant
Sopra Steria
- Ingénieur d'études
Paris2015 - 2017
Ensemble Musical du Sud
- Directeur musical
2014 - maintenantChoix du programme musical en fonction du niveau des musiciens, élaboration du travail de répétition, direction des concerts.
Université Aix-Marseille
- Enseignant chercheur
2010 - 2014Enseignements à l'université (cours-TD)
- Recherche en mathématiques / informatique ;
- Participation à des colloques ;
- Organisation d'un groupe de travail au sein de l'équipe de logique de l'Institut de
Mathématiques de Luminy
- Encadrement de stages d'initiation à la recherche (3 jours chacun), à destinationde
lycéens et collégiens (3ème)
