LEHAUT Mathieu

PhD student (ATER, )
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-2020 Publications

Conference papers

2020
- N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words”, 23^rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020), Dublin, Ireland (2020)
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), vol. 11138, Proceedings of the 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) (2018)