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.

Lists

Timeline

Bromind has no activity yet