Le Gall, Pascale (19..-....)

Le Gall, Pascale (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 081059310

URI de l'entité : http://www.idref.fr/081059310/id

Notice de type Personne

Point d'accès autorisé

Le Gall, Pascale (19..-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 19XX

Genre : Féminin

Notes

Note publique d'information :

Titulaire d'un doctorat en sciences appliquées (Paris 11, 1993)

Note publique d'information :

Professeur des universités, en poste à l’École Centrale Supelec (en 2019)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/208139891

Identifiant ORCID : 0000-0002-8955-6835

Identifiant HAL : pascale-le-gall

Identifiant SCOPUS : 7004086878

Source

Les algèbres étiquetées : une sémantique pour les spécifications algébriques fondée sur une utilisation systématique des termes : application au test de logiciel avec traitement d'exceptions / Pascale Le Gall, 1993 [thèse]

Modélisation discrète de la régulation du métabolisme énergétique des cellules eukaryotes et validation formelle de sa dynamique / Rajeev Khoodeeram ; sous la direction de Gilles Bernot. Thèse de doctorat : Informatique : Université Côte d'Azur : 2021

Information trouvée : présidente du jury, membre du jury

Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques / Ophélie Guinaudeau ; sous la direction de Gilles Bernot. Thèse de doctorat : Informatique : Côte d'Azur : 2019

Information trouvée : Présidente du jury, rapportrice de thèse

Transformations de graphes pour la modélisation géométrique à base topologique / Thomas Bellet, 2012

Information trouvée : Professeur - Université Évry Val d'Essonne

... Références liées : ...