Benoît Valiron · @b3nb3n
116 followers · 279 posts · Server social.sciences.re#introduction [fr] Je suis enseignant-chercheur en informatique sur #Saclay au sein du @lmf. Je travaille à l'interface entre les méthodes #formelles et l'informatique #quantique. J'utilise des systèmes de #types, de la théorie des #catégories, de la #réécriture, de la #réalisabilité et des #langages (#textuels et #graphiques).
J'habite en famille à Paris. Je #velotaf quand je n'ai pas mal au genou. Le #RERB est (partiellement) mon ami.
Je pouêt en anglais et en français.
#introduction #Saclay #formelles #quantique #types #catégories #réécriture #réalisabilité #langages #textuels #graphiques #velotaf #rerb