Théo Zimmermann

https://www.theozimmermann.net/

Télécom Paris Paris Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm