undefined
Martin Vassor
@bromind@framapiaf.org
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy.
Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence.
---
Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
