Benjamin Lion, ancien post-doctorant dans l’équipe TEA à l’Inria de Rennes, et docteur en informatique de l’université de Leiden aux Pays-Bas.
Ses recherches se sont concentrées sur l’utilisation de langages formels pour modéliser et analyser les systèmes concurrents, et plus précisemment les sytèmes avec des interactions physiques.
Ses passe temps : l’escrime, la guitare, l’electronique.
Son cv et plus d’informations sur son site.
