Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > CONCHON Sylvain
Présentation
M. CONCHON Sylvain
CONCHON Professeur 2nde classe
Université Paris-Sud
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 du conseil de laboratoire
   - 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