Accueil

Quelques projets personnels sont disponibles sur mon Github. Voir aussi mon compte Mastodon.

Vous pouvez également consulter mon CV ou me contacter directement.

Activité

Je suis employé par Tarides en tant qu’ingénieur logiciel, où je participe à la création de documentation et de logiciels pour l’ecosystème OCaml.

Je suis également ingénieur à Parsimoni pour expérimenter avec les unikernels dans le spatial.

Passée

Auparavant, j’étais employé par Tweag en tant qu’ingenieur en développement logiciel spécialisé dans la programmation fonctionnelle.

Recherche & Enseignement

J’ai un doctorat en Informatique dans le domaine de la vérification logicielle obtenu au Laboratoire de Sûreté et de Sécurité des Logiciels (LSL) du CEA List.

Pour plus d’information, voire ma page de recherche.

Services

• Serveur Nextcloud (fichiers, notes, agenda, …)
• Serveur Funkwhale (musique)

Paquets OCaml

• nes-ml, un émulateur de Nintendo Entertainment System (NES)
• 6502-ml, une librairie pour la simulation du processeur MOS 6502 (documentation)
• stdint-literals, un petit PPX permettant d’utiliser des litéraux pour des entiers à taille fixée.

Autres

• Quelques vieilles notes de cours
• Générateur de biographie aléatoire (ft. Jean-Marie blas de Roblès)