🐳
Whale done
Engineering student - computer sciences, INSA Rennes, France.
Ex-president of @InsaLan association (creator of ticket-reader-app).
Videogames, XR, AI & co.
Enzo
cloudyhug
Enzo Crance | PhD student, formal proof automation | Programming languages, compilers, type theory, Android apps, tools | OCaml, Haskell
Mitsubishi Electric R&D, Inria Nantes, France
Nicolas Fouqué
nk-fouque
Research Engineer at IRISA, Rennes, France
Data Scientist
CNRS Rennes, France