Benoît Valiron · @b3nb3n
116 followers · 279 posts · Server social.sciences.re#introduction [en] I am assistant professor in #Saclay (France) in the lab @lmf. Researchwise, I am working in #formal methods and #quantum computing using #type systems, #category theory, #rewriting, #realizability, and text-based and #graphical #languages.
I live in Paris with my family. I commute by #bike when my knees let me do it.
I toot in French and in English.
#introduction #Saclay #formal #quantum #type #category #rewriting #realizability #graphical #languages #bike