Sylvain Conchon
Useful informations / Informations utiles
-
Phone/Tél: (+33) (0)1 72 92 59 56
-
Fax : (+33) (0)1 74 85 42 29
-
Address/Adresse:
- LRI, bâtiment 650
- Université Paris-Sud 11
- 91405 Orsay cedex
- France
- Office/Bureau : 34
-
Email/Courriel: Sylvain.Conchon[at]lri.fr
I'm Assistant Professor at Paris-Sud University and a member of
the Démons team which is
part of the ProVal project at
INRIA Saclay - Île-de-France.
Previously, I was Senior Research Associate in the OBASCO team at
Ecole des Mines de Nantes, Senior Research Associate in the PacSoft team at the
OGI School of Science & Engineering at OHSU and Ph.D student at
INRIA Rocquencourt in the MOCSOVA team.
Je suis maître de conférences à l'Université Paris Sud et membre
de
l'équipe Démons
ainsi que du projet ProVal
de l'INRIA Saclay -
Île-de-France. Avant cela, j'étais chercheur invité dans
l'équipe OBASCO
de l'Ecole des Mines de Nantes, chercheur associé dans
l'équipe PacSoft de
l'OGI School of Science & Engineering at OHSU et étudiant en
thèse dans le
projet Moscova à l'INRIA
Rocquencourt.
Research / Recherche
My thesis (in french) is
about information flow analysis for functional and concurrent
programming languages. I'm currently working on automated
deduction for program verification. List
of publications.
Le thème de ma thèse
est l'analyse de flot d'information dans les langages de
programmation fonctionnels et concurrents. Je travaille
actuellement dans le domaine de la démonstration automatique
pour la preuve de programmes. Liste de publications .
Projets de recherche:
Programming
- Cubicle : An SMT-based model
checker for parametrized systems
- Alt-Ergo:
An automatic theorem prover dedicated to program verification
-
ocamlgraph: an ocaml graph library
Enseignement
Cette année, je m'occupe des cours suivants:
Vulgarisation
My PGP key / Ma clé PGP
ici/here