Synapse

with the support of IRT Saint-Exupéry

Projet Investissements d’Avenir - OCE (Observation et compréhension de l’environnement) (Dec. 2014 - Nov. 2018) - Responsable : Silvano Dal Zilio (CNRS), François Vernadat (INSA)

See also:

Projet Investissements d’Avenir - OCE (Observation et compréhension de l’environnement) (Dec. 2014 - Nov. 2018) - Responsable : Silvano Dal Zilio (CNRS), François Vernadat (INSA)

Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.