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

Point d'accès autorisé

Curien, Pierre-Louis (1953-....)

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 :    1953
Genre : Masculin

Notes

Note publique d'information : 
Écrit aussi en anglais

Note publique d'information : 
Mathématicien et informaticien. En poste au Département de mathématiques et informatique de l'Ecole normale supérieure, Paris (en 1993) ; Directeur de Recherche au CNRS en poste au Laboratoire Preuves, Programmes et Systèmes, UMR CNRS 7126 à l'université Paris 7 (en 2010). Membre de jury pour une thèse en Mathématiques et informatique soutenue à Grenoble Alpes en 2018

Note publique d'information : 
Directeur de recherche CNRS émérite à l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS) à Université de Paris Cité (en 2024)

Identifiants externes

Identifiant Wikidata : Q102291682
Identifiant Wikidata : Q102339176
Identifiant ISNI : 0000000109258129

Source

Categorical combinators, sequential algorithms and functional programming / Pierre-Louis Curien, 1993

Catégories et diagrammes de cordes pour les jeux concurrents / Clovis Eberhart ; sous la direction de Tom Hirschowitz.Thèse de doctorat : Mathématiques et informatique : Grenoble Alpes : 2018

Information trouvée : Directeur de recherche au CNRS à l'Institut de Recherche en Informatique Fondamentale (IRIF) de l'Université Paris Diderot

Internet, http://www.pps.jussieu.fr/~curien/, 2010-05-31

Information trouvée : Directeur de Recherche au CNRS en poste au Laboratoire Preuves, Programmes et Systèmes, UMR CNRS 7126 à l'université Paris 7

Internet, https://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?AuthRecID=608854&v1=1&HC=1&SEQ=20210122051159&PID=MxyiApiy3SzQiBhSSkBjofJGuiC7tua, 2021-01-22

Information trouvée : né en 1953

Internet, https://mathgenealogy.org/id.php?id=134325, 2021-01-28

Information trouvée : Pierre-Louis Curien, Ph.D. (Université Paris Diderot - Paris 7, 1983) ; liste des étudiants

https://www.ins2i.cnrs.fr/fr/personne/pierre-louis-curien, 2024-03-13

Information trouvée : Directeur de recherche CNRS émérite à l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS) à Université de Paris Cité (en 2024)

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