Me Sylvain Conchon  

Useful informations / Informations utiles

Site web du nouveau Master Informatique de Paris-Saclay


I'm Professor at Paris-Sud University and a member of the Toccata team, a joint project with 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 Professeur à l'Université Paris-Sud et membre de l'équipe Toccata commune à 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 habilitation thesis is about SMT (satisfiability modulo theory) techniques and their applications. My PhD thesis (in french) is about information flow analysis for functional and concurrent programming languages.
I'm currently working on automated deduction for program verification and model checking for parameterized systems.
Here is a list of my publications.

Le thème de ma thèse d'habilitation porte sur les techniques SMT (satisfiabilité modulo théorie) et leurs applications. Le thème de ma thèse de doctorat 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 et le model checking pour systèmes paramétrés.
Voici une liste de mes publications.


Research projects:

Conferences : I was (or I am) involved in the organisation of the following conferences

Doctoral juries :


Programming / Tools




Enseignement


Cette année, je m'occupe des cours suivants:

Livre


Vulgarisation


My PGP key / Ma clé PGP

ici/here