LEHAUT Mathieu
PhD student
Team :
MoVe
Arrival date : 09/01/2017
Localisation :
Campus Pierre et Marie CurieSorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 220
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 31 92, Mathieu.Lehaut (at)
nulllip6.fr
Supervision : Béatrice BÉRARD
Co-supervision : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)
Synthesis of Parameterized Systems
