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
.