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 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.
Stéphane Lescuyer, PhD, Formalisation et
développement d'une tactique réflexive pour la démonstration
automatique en Coq, Université Paris-Sud, 4 Jan. 2011
(Advisor)
Mohamed Iguernelala, PhD, Strengthening the
Heart of an SMT Solver: Design and Implementation of Efficient
Decision Procedures, Université Paris-Sud, 10
Jun. 2013 (Advisor)
Léonard Gérard, PhD, Programmer le parallélisme
avec des futures en Heptagon un langage synchrone flot de données et
étude des réseaux de Kahn en vue d'une compilation synchrone,
Université Paris-Sud, 25 Sept. 2013 (Examiner)