Me Sylvain Conchon  

Useful informations / Informations utiles


I'm Professor at Paris-Saclay University and a member of LMF (the Formal Methods Laboratory - ULMR 9061) and 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-Saclay, membre du LMF (Laboratoire Méthodes Formelles - UMR 9021) et 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




Enseignements 2024/2025



Anciens cours

Livre


Vulgarisation


My PGP key / Ma clé PGP

ici/here