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
- email:// contact [at] parouby [dot] fr
- Framagit:// @prouby
- Mastodon:// @framapiaf.org@parouby
- Github:// RoubyPA
- Linkedin:// Pierre-Antoine Rouby
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