Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > CONCHON Sylvain
About LRI
Mr CONCHON Sylvain
CONCHON Professeur 2nde classe
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel : 01 69 15 65 52
Fax :
Office : 36/PCRI-S

Personal web page : http://www.lri.fr/~conchon/
Email : Sylvain.Conchon@lri.fr

Research activities
   - Automated Proof, SMT and Applications


Joint Inria project teams
   - Toccata



Leadership positions
   - Member of the hiring committee

Principle investigator
   - DECERT
   - Bware
   - LCHIP
   - CONF. POLP 2017
   - PARDI
   - IEC
   - SOPRANO
   - OCAMLPRO


Software & Patents
   - Alt-Ergo: The Alt-Ergo theorem prover
   - ocamlgraph: Ocaml graph library
   - CUBICLE: A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS


Ph.D. dissertations & Faculty habilitations
Ph.D   - Modular information flow analysis for sequential and concurrent calculi
Faculty habilitation   - SMT Techniques and their Applications: from Alt-Ergo to Cubicle

Contracts & Grants
   - A3PAT
   - Bware
   - CIFRE ADACORE