Courcelle, Bruno (1949-....)

Courcelle, Bruno (1949-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 026802422

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

Notice de type Personne

Point d'accès autorisé

Courcelle, Bruno (1949-....)

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 : 1949

Genre : Masculin

Notes

Note publique d'information :

Professeur, Université Bordeaux-1, Laboratoire d'informatique (en 1991). Membre honoraire de l'Institut Universitaire de France en 2018

Note publique d'information :

Titulaire d'une Thèse de Doctorat en Mathématiques à l'Université de Paris 7, 1976

Identifiants externes

Identifiant ORCID : 0000-0002-5545-8970

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

Identifiant HAL : bruno-courcelle

Identifiant Wikidata : Q17305808

Identifiant ZBMath : courcelle.bruno

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Bruno_Courcelle

Identifiant SCOPUS : 7003834241

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb11897935c

Identifiant ISNI : 0000000067373662

Source

Logique et informatique, une introduction / contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.] ; réunies et présentées par Bruno Courcelle, 1991.

Sur les ensembles algébriques d'arbres et les langages déterministes : quelques applications à la théorie des schémas de programme / Bruno Courcelle, 1976 [Thèse]

http://www.labri.fr/perso/courcell/ActSci, 2018-10-08

Information trouvée : Membre honoraire de l'Institut Universitaire de France en 2018

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