 |
 |
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
|
