Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Sylvain Conchon
Comment se rendre à
mon bureau (Crédits: Nicolas Stouls et Frédéric dadeau)
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.
Here is a list of my 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. Vous trouverez ici une liste des mes publications.
Projets de recherche: