LEHAUT Mathieu

PhD student
Team : MoVe
Arrival date : 09/01/2017
Localisation : Campus Pierre et Marie Curie
    Sorbonne 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

 Mentions légales
Site map |