LEHAUT Mathieu

PhD student
Team : MoVe
Arrival date : 09/01/2017
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

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

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 Publications

Conference papers

2018
- B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, USA (2018)