- CNRS/ISC-PIFPro bono Nix and Haskell engineer for the French National Centre for Scientific Research, focusing on reproducibilityPUBLIC SECTORJune 2023 - Today (1 year and 8 months)Paris, FranceWritten a flake.nix based upon haskell.nix for haskell-gargantext: https://gitlab.iscpif.fr/gargantext/haskell-gargantext/merge_requests/258And reimplemented from scratch and improved the main algorithm for computing phylomemetic networks: https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
- NixOSDeveloping and maintaining NixOS/Nixpkgs, focusing on securityTECHJanuary 2017 - Today (8 years and 1 month)Limoges, FranceCreating or maintaining dozens of packages and services for NixOS:https://github.com/NixOS/nixpkgs/pulls?q=author%3Aju1m
- HaskellUnderstanding and reimplementing several scientific papers in Haskell, focusing on correctnessTECHJanuary 2015 - Today (10 years and 1 month)Limoges, France- Reimplemented parts of Utrecht University/Bastiaan Heeren's thesis [Top: Constraint solving framework employed by the Helium Compiler](https://hackage.haskell.org/package/Top) in https://hackage.haskell.org/package/lol-typing- Implemented CNRS/Balinski & Laraki's voting method [Majority Judgment](https://mitpress.mit.edu/9780262545716/majority-judgment/) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement- Reimplemented parts of CNRS/LORIA's [Helios-C e-voting protocol](https://www.belenios.org) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement-protocol- Reimplemented parts of [servant](https://hackage.haskell.org/package/servant) in https://git.sourcephile.fr/haskell/symantic-http.git and parts of [ema](https://hackage.haskell.org/package/ema) in https://git.sourcephile.fr/haskell/literate-web.git- Reimplemented parts of Imperial College/Jamie Willis' thesis [Parsley: A fast parser combinator library backed by Typed Template Haskell](https://hackage.haskell.org/package/parsley) in https://git.sourcephile.fr/haskell/symantic-parser.git- Reimplemented parts of IOHK/Matt Noonan's [Ghosts of Departed Proofs](https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/) inhttps://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H- Reimplemented parts of CNRS/ISC-PIF Chavalarias & Lobbé & Delanoë's paper [Draw me Science: Multi-level and multi-scale reconstruction of knowledge dynamics with phylomemies](https://doi.org/10.1007/s11192-021-04186-5) in https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
- Bac+2 (Math sup/spé)Lycée du Parc (Lyon)2006Mathematics and computer science