Me Sylvain Conchon  

Useful informations / Informations utiles 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.

Je participe également au projet de recherche A3PAT.

Programmation / Programming


Teaching / Enseignement

Je m'occupe des cours suivants:

Ma clé PGP / My PGP key

ici/here