About Martin Vassor

Ex-apprenti-chercheur à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy.

Je m'intéresse surtout à des questions de concurrence : vérification dynamique, types session, architectures logicielles, et calcul réversible.

---

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