Thomas Chatain

Maître de conférences, ENS Paris-Saclay

Suite à la fusion du LSV dans le Laboratoire Méthodes Formelles (LMF), ma page web est désormais ici.