Thomas Chatain

Associate professor, ENS Paris-Saclay

As LSV was integrated into the new Laboratoire Méthodes Formelles (LMF), my home page also moved there.