paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 132778343Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Baillot, Patrick (1972-....)

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,anglais
Pays : France
Date de naissance :    1972
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Mathématiques discrètes et fondements de l'informatique (Paris 13, 1999)

Note publique d'information : 
Directeur de Recherche au sein de l'équipe "Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems" (SyCoMoRES) du Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - UMR CNRS 9189 - Inria)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/192984365
Identifiant HAL : patrick-baillot
Identifiant SCOPUS : 55976264400
Identifiant ORCID : 0009-0002-9364-1140
Identifiant ISNI : 0000000140159532

Source

Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction / Patrick Baillot [thèse]

Internet, https://pro.univ-lille.fr/patrick-baillot/, 2024-10-14

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