Curriculum Vitae

Bio

Développeur junior attaché aux valeurs éthiques de son travail. Passionner par la programmation, notamment la programmation fonctionnelle. Utilisateur de système Unix (notamment GNU/Linux) depuis près de 10 ans.

Informations

  • Âge - 26 ans
  • Lieu - Bordeaux

Contact

Association

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

  • Développement
  • Administration système
  • Sage MP3
  • Cinéma

Étude en cours

  • Master - Master informatique fondamental 1ème année
    | 2020-2021 | Université de Bordeaux
    | Étude des aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérifications automatiques de programme.

Diplômes

  • 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 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)
  • Prog. fonctionnelle: Lisp (Emacs-Lisp) | Scheme | OCaml
  • Prog. objets: C++ | Java | Python | Ruby
  • Outils: Git | Autotools | CMake | Doxygen | LaTeX | Emacs | frama-c | Spin | Coq

Compétences

  • Programmation

    • ★★★★★ C
    • ★★★★ GNU Guile
    • ★★★★ Elisp
    • ★★★★★ Rust
    • ★★★★★ OCAML
    • ★★★★★ Python
    • ★★★★ R
    • ★★★★ Assembler (x86)
  • 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
  • Transversales

    • ★★★★★ Anglais