Martin Vassor

Bromind@framapiaf.org

<p>Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy.</p><p>Je m&#39;intéresse surtout à ce qui est à l&#39;intersection des méthodes formelles et de la concurrence.</p><p>---</p><p>Lecturer (or Master of Conferences (<a href="https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">fr.wikipedia.org/wiki/Maître_d</span><span class="invisible">e_conférences_(France)</span></a>), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.</p>