Bostan, Alin (19..-....)

Bostan, Alin (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 195962540

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

Notice de type Personne

Point d'accès autorisé

Bostan, Alin (19..-....)

Nom à l'état civil

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

Pays : France

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Directeur de recherche. En poste : Inria, Université Paris-Saclay, Palaiseau, France (en 2021)

Identifiants externes

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

Identifiant ORCID : 0000-0003-3798-9281

Identifiant SCOPUS : 55966227200

Identifiant SCOPUS : 10540833500

Identifiant Wikidata : Q102429895

Identifiant ZBMath : bostan.alin

Source

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle / Boris Djalal ; sous la direction d'Yves Bertot. Thèse de doctorat : Informatique : Côte d'Azur : 2018

Information trouvée : membre du jury

Internet, https://mathgenealogy.org/id.php?id=189988, 2021-12-09

Information trouvée : Alin Bostan, Ph.D. (École Polytechnique, 2003), MSC-68 (Sciences informatiques)

Internet, https://specfun.inria.fr/bostan/, 2021-12-09

Information trouvée : Directeur de recherche

Théorie des représentations combinatoire de tours de monoïdes / Aladin Virmaux ; sous la direction de Nicolas Thiéry. Thèse de doctorat : Informatique : Paris Saclay : 2016

Information trouvée : Membre du jury en tant que chargé de Recherche à l'INRA

Transcendence in algebra, combinatorics, geometry and number theory : TRANS19 - Transient Transcendence in Transylvania, Braşov, Romania, May 13-17, 2019 : revised and extended contributions / Alin Bostan, Kilian Raschel, editors, cop. 2021

Information trouvée : En poste : Inria, Université Paris-Saclay, Palaiseau, France

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