About Martin Vassor

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.

Lists

Timeline

Bromind has no activity yet