Beschreibung

Self-taught Haskell and NixOS free software developer since 2015,

former self-taught OCaml software developer from 2005 to 2015,

and self-taught GNU/Linux system administrator since 2010.

Most of my work so far has consisted in understanding and (re)implementing algorithms found in scientific papers, with my main focus being on correctness.

I do my best to understand what I do. I'm passioned by developing algorithms or fixing bugs. I am hardworking and a fast learner with communication skills for teaching and being accurate on technical matters.

Branchenexpertise

Sprachen

Französisch
Muttersprachlich oder zweisprachig
Englisch
Verhandlungssicher

Arbeitsortpräferenzen

Nur remote

Führt Projekte hauptsächlich remote aus

CNRS/ISC-PIF
Pro bono Nix and Haskell engineer for the French National Centre for Scientific Research, focusing on reproducibility
ÖFFENTLICHER SEKTOR & KÖRPERSCHAFTEN
Juni 2023 - Heute (3 Jahre)
Paris, Frankreich
Written a flake.nix based upon haskell.nix for haskell-gargantext: https://gitlab.iscpif.fr/gargantext/haskell-gargantext/merge_requests/258
And reimplemented from scratch and improved the main algorithm for computing phylomemetic networks: https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
NixOS
Developing and maintaining NixOS/Nixpkgs, focusing on security
HIGHTECH
Januar 2017 - Heute (9 Jahre und 5 Monate)
Limoges, Frankreich
Creating or maintaining dozens of packages and services for NixOS:
https://github.com/NixOS/nixpkgs/pulls?q=author%3Aju1m
Haskell
Understanding and reimplementing several scientific papers in Haskell, focusing on correctness
HIGHTECH
Januar 2015 - Heute (11 Jahre und 5 Monate)
Limoges, Frankreich
- 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/) in
https://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