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
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 Futurs.
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 Futurs. 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.
Je participe également au projet de recherche A3PAT.
Programmation / Programming
Ergo:
A decision procedure for programme verification