As I'm new here (and on Mastodon), introduction time !
I'm a CS PhD student in a French institution near Paris, working on the specification language of Frama-C to enable users to have a more global view than function contracts when specifying.
All this work is happily written in OCaml (omnipresent in French academia) so that's the ecosystem I know the most, but I know a bit of Haskell.
I've a terrible website (firobe.fr), maybe I'll make something of it someday. Also I like Japan.
See you !