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
Sylvain Conchon
Useful informations / Informations utiles
Phone/Tél: (+33) (0)1 69 15 64 85
Address/Adresse:
LRI, Bâtiment 490
Université Paris-Sud
F-91405 Orsay cedex
France
I'm Assistant Professor at Paris-Sud University and a member of
the Démons team.
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. 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. 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. Vous trouverez ici une liste des mes publications.
Je participe également au projet de recherche A3PAT.