Thèse de doctorat de Mme Ferdinanda CAMPORESI
Madame Ferdinanda CAMPORESI présente ses travaux en soutenance le :
23 janvier 2017 à 14h00.
La soutenance est publique, et se tiendra à :
École normale supérieure
Salle W
45, rue d’Ulm
75005 Paris
en vue de l’obtention du diplôme de :
Docteur de l’Université de recherche Paris Sciences et Lettres – PSL Research University, préparé à l’École normale supérieure
Spécialité : Informatique
Titre des travaux : « Formal and exact reduction for differential models of signalling pathways in rule based languages »
École doctorale : Sciences Mathématiques de Paris-Centre (ED N°386)
Équipe de recherche : UMR 8548 DIENS - ANTIQUE
Directeur de thèse : M. Jérôme FERET
Membres du jury :
|
Prénom NOM |
Qualité |
Établissement d’exercice |
|
M. Jérôme FERRET |
Chargé de recherche |
ENS |
|
M. Jean YANG |
Assistant professor |
Carnegie Mellon University (USA) |
|
M. Roberto GIACOBAZZI |
Professeur d’université |
Universita degli Studi di Verona (Italie) |
|
M. François FAGES |
Directeur de recherche |
INRIA Saclay |
|
M. Russel HARMER |
Chargé de recherche |
ENS Lyon |
|
M. Denis THIEFFRY |
Professeur d’université |
ENS |
Mis à jour le 23/2/2017