Curriculum Vitae

Bio

Passionné d'infomatique, je suis attaché aux valeurs éthiques du logiciel libre ainsi qu'à l'écologie. Je m'intéresse à différents domaines, notamment à la vérifications logiciel et à l'algorithmique.

Informations

  • Âge - 27 ans
  • Lieu - Rhône-Alpes | Télétravail

Contact

Association

  • April depuis 2017
  • La cueillette (récolte, transformation et redistribution solidaire) depuis 2022

Projets

  • librepoll - Service de sondage en ligne libre.
  • efetch - Extension à l'éditeur de texte Emacs pour la récupération d'informations du système.
  • guile-mastodon - Guile module for Mastodon API.

Loisirs

  • Écologie
  • Agriculture
  • AgroÉcologie
  • Low-tech
  • Cuisine
  • Cinéma
  • Jeux vidéo

Diplômes

  • Master 2 (Bac+5) Master IF: Informatique Fondamental
    | 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

Expériences

  • 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

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

Compétences

  • Programmation

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

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

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

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

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

    • ★★★★★ Gtk
  • Jeu video

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