Expériences professionnelles
Chargé de td
LIP6 - Laboratoire d'Informatique Sorbonne Université/CNRS , Paris
De Septembre 2024 à Janvier 2025
chargé de TD à temps partiel, module LU2I019, enseignement d'Ocaml
Expert issu de l'industrie
Inria , Rocquencourt
De Octobre 2004 à Octobre 2005
dans l'équipe Cristal (sur Ocaml) dirigée par Xavier Leroy. Contributions au compilateur Ocaml
Ingénieur chercheur
CEA , Gif/yvette
De Septembre 1985 à Novembre 2024
ingénieur chercheur dans divers départements du CEA. Mon matricule y était BS120863. Contributions à plusieurs logiciels, notamment libres, dont https://frama-c.com/ et https://github.com/RefPerSys/RefPerSys/ (auquel je contribue même à la retraite).
Formation complémentaire
doctorat
Paris Jussieu - informatique
1985 à 1990
doctorat de l'université Paris 6. https://theses.fr/1990PA066799 mention très honorable.
Parcours officiels
Compétences
Centres d'intérêt
- logiciel libre
- enseignement de la programmation
- Linux
- GCC