Curriculum Vitae

Bio

Ingénieur logiciel, je suis titulaire d'un master en informatique, parcours informatique fondamental, options algorithme et modèle de l'université de Bordeaux. Je suis aussi titulaire d'une licence professionnelle ADSILLH (Administration et Développement de Système d'information à base de logiciel libre et Hybride). Je travail actuellement à l'INRAE de Lyon au développement de Pamhyr2, une interface libre (sous GPLv3+) de modélisation pour des solveurs 1D de simulation Hydro-sédimentaire des rivières. Proche du monde du logiciel libre, je suis adhérant à l'April depuis 2017 et contribue au développement de projet libre occasionnellement. De nombreux domaines de l'informatique me passionne, mais je m'intéresse aussi a l'écologie et au low-tech. Par extension, je m'intéresse au lien pouvant exister entre ces différents domaines.

Informations
  • Âge - 29 ans
  • Lieu - Rhône-Alpes | Télétravail
Contact
Expériences
  • INRAE Lyon-Grenoble | Ingénieur d'étude en développement logiciel
    Mars 2023 - ... | Lyon
    • Développement d'une interface graphique (Pamhyr2) pour la simulation sur des modèles 1D de rivière
    • Python · Matplotlib · Qt · pyQt · Logiciel libre
  • Ponant technologies | Ingénieur Logiciel
    Décembre 2022 - Févriers 2023 | Valence
    • Python · Django · Docker · Linux · OpenVPN · SQLite · InfluDB · Postgresql
  • Inria Bordeaux Sud-Ouest | Stage Master 2
    Mars-Juillet 2022 | Bordeaux
    • Extention à MBI (MPI Bugs Initiative) pour les erreurs MPI non deterministe
  • Inria Bordeaux Sud-Ouest | Stage Master 1
    Juin-Juillet 2021 | Bordeaux
    • Portage de PARCOACH sur LLVM 12, correction et étude de SVF
  • Inria Grenoble Sud-Est & ENS de Lyon | Stage Licence 2
    Mai-Juillet 2019 | ENS de Lyon
    • Analyse et simulation de l'évolution de la taille des matrices hiérarchique
  • Inria Bordeaux Sud-Ouest | Stage LPro
    Avril-Août 2018 | Talence
    • Définition de paquets GNU Guix
    • Intégration continue avec Gitlab-runner
    • Développement logiciel en Scheme (Guile)
  • Ponant Technologies | Technicien Informatique
    2016-2017 | Valence
    • Test de solutions eUICC (chez Ingenico)
    • Mise en place et administration de BDD PostgreSQL (chez Ingenico)
  • Acorel | Stage BTS
    6 semaine 2015 | Saint-Péray
    • Développement d'outils d'administration en C# et VBA
    • Installation d'un serveur rack
Diplômes
  • Master 2 (Bac+5) Master IF: Informatique Fondamental option Algorithme et Modèls
    2020-2022 | Université de Bordeaux |
  • Licence (Bac+3) Licence informatique
    2018-2020 | Université de Bordeaux |
  • Licence pro (Bac+3) ADSILLH
    2018 | Université de Bordeaux | Major de promotion
  • BTS (Bac+2) SNIR
    2016 | Lycée du Grésivaudan (Meylan) |
  • BAC (Bac) STDI2D SIN
    2014 | Briffaut Valence | Mention Bien
Connaissances
  • Prog. impérative: C pour GNU/Linux (UNIX-like) · Rust
  • Prog. fonctionnelle: Lisp (Emacs-Lisp) · Scheme · OCaml
  • Prog. objets: C++ · Java · Python
  • Outils: Git · Autotools · CMake · Doxygen · LaTeX · Emacs · frama-c · Coq · Z3
Association
Loisirs
  • Écologie · Agriculture · AgroÉcologie
  • Logiciel Libre · Fedivers
  • Low-tech
  • Cuisine
  • Cinéma
  • Jeux vidéo
Compétences
  • Programmation

    • ★★★★★ C
    • ★★★★ Python
    • ★★★★ GNU Guile
    • ★★★★ Elisp
    • ★★★★★ Rust
    • ★★★★★ OCAML
  • Outils

    • ★★★★★ Emacs
    • ★★★★ Git
    • ★★★★★ Gitlab-ci
    • ★★★★★ Matplotlib
    • ★★★★★ Autotools
    • ★★★★★ CMake
    • ★★★★★ GNUPlot
  • Système d'expoitation

    • ★★★★ GuixSD
    • ★★★★ Debian
    • ★★★★★ Centos
    • ★★★★★ OpenBSD
  • Base de données

    • ★★★★★ SQLite
    • ★★★★★ MariaDB
    • ★★★★★ PostgreSQL
    • ★★★★★ MongoDB
  • Office

    • ★★★★ LaTeX
    • ★★★★ Org-mode
    • ★★★★★ Markdown
    • ★★★★★ LibreOffice
    • ★★★★★ NextCloud
    • ★★★★★ CryptPad
  • UI

    • ★★★★★ Qt
    • ★★★★★ Gtk
  • Jeu video

    • ★★★★★ Guile-sdl2
    • ★★★★★ SDL2
    • ★★★★★ LOVE 2D