Better Synthesis for Underspecified Quantitative Systems

BisoUS (ANR-22-CE48-0012 ) © 2023

Étienne André

Professeur ;

Université Sorbonne Paris Nord, LIPN

Nathalie Bertrand

Directrice de recherche ;

INRIA Rennes

Patricia Bouyer

Directrice de recherche ;

CNRS, LMF

Benoît Delahaye

Maître de conférences ;

Nantes Université, LS2N

Marie Duflot-Kremer

Maîtresse de conférences ;

Université de Lorraine, LORIA

Serge Haddad

Professeur ;

ENS Paris-Saclay, LMF

Loïc Hélouët

Directeur de recherche ;

INRIA Rennes

Loïg Jezequel

Maître de conférences ;

Nantes Université, LS2N

Luc Lapointe

Doctorant ;

ENS Paris-Saclay, LMF

Laetitia Laversa

Post-doc ;

Université Sorbonne Paris-Nord, LIPN

Stéphane Le Roux

Maître de conférences ;

ENS Paris-Saclay, LMF

Engel Lefaucheux

Chargé de recherche IFSP ;

INRIA Nancy

Didier Lime

Professeur ;

École Centrale de Nantes, LS2N

Nicolas Markey

Directeur de recherche ;

CNRS, IRISA

Rémi Parrot

Ingénieur de recherche ;

École Centrale de Nantes, LS2N

Laure Petrucci

Professeur des universités ;

Université Sorbonne Paris-Nord, LIPN

Olivier H. Roux

Professeur ;

École Centrale de Nantes, LS2N

Ocan Sankur

Chargé de recherche ;

CNRS, IRISA

Anthony Spriet

Doctorant ;

École Centrale de Nantes, LS2N