LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Doctorants

LEHAUT Mathieu

Doctorant
Équipe : MoVe
Date d'arrivée : 01/09/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
Tel: 01 44 27 31 92, Mathieu.Lehaut (at) nulllip6.fr
Direction de recherche : Béatrice BÉRARD
Co-encadrement : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthèse pour les systèmes paramétrés

Le problème est de synthétiser un programme satisfaisant une spécification, dans le cadre de systèmes répartis avec un nombre inconnu de processus participants. Un tel programme sera donc correct par construction.

Publications 2018

  • 2018
 Mentions légales
Carte du site |