 |
 |
Professeur 2nde classe
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes
Tel : 01 69 15 65 52
Fax :
Bureau : 36/PCRI-S
Page personnelle : http://www.lri.fr/~conchon/
Courrier électronique : Sylvain.Conchon@lri.fr |
Activités de recherche - Démonstration automatique, SMT et applications
Projets - Toccata
Responsabilités administratives - Membre de la CCSU
Responsabilités de contrats - DECERT - Bware - LCHIP - CONF. POLP 2017 - PARDI - IEC - SOPRANO - OCAMLPRO
Logiciels et brevets - Alt-Ergo : Démonstrateur automatique Alt-Ergo - ocamlgraph : bibliothèque de graphes pour Ocaml - CUBICLE : A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
Thèses et habilitations Doctorat - Analyse modulaire de flot d'information pour les calculs séquentiels et concurrents Habilitation à diriger des recherches - SMT Techniques and their Applications: from Alt-Ergo to Cubicle
Participations à des contrats - A3PAT - Bware - CIFRE ADACORE
|