Plume
French PhD student in software verification, happily coding in OCaml.
Also piano, otaku culture, memes, ... ?