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
Théo Zimmermann