LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 新闻 » 在读博士

LEHAUT Mathieu

在读博士
科研组 : MoVe
到达日期 : 2017-9-1
办公位置 : 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
责任导师 : Béatrice BÉRARD
助理责任导师 : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthesis of Parameterized Systems

The aim of this work is to synthetize programs, in the setting of distributed systems with an unknown number of participating processes. Such programs will be correct by construction.

2018 刊物

  • 2018
 Mentions légales
网站导航 |