Cohen, Cyril (1985-...)

Cohen, Cyril (1985-...)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 172541271

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

Notice de type Personne

Point d'accès autorisé

Cohen, Cyril (1985-...)

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

Genre : Masculin

Notes

Note publique d'information :

Chargé de recherche, INRIA Sophia Antipolis-Méditerranée (en 2019)

Identifiants externes

Identifiant HAL : cyril-cohen

Identifiant ORCID : 0000-0003-3540-1050

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

Identifiant SCOPUS : 36184037800

Source

Formalisation des nombres algébriques : construction et théorie du premier ordre / Cyril Cohen ; sous la direction de Assia Mahboubi, 2012 [thèse en mathématiques]

Information trouvée : Né le 19851213

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 : co-encadrant de thèse, membre du jury

Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle / Damien Rouhling ; sous la direction de Yves Bertot et Cyril Cohen. Thèse de doctorat : Informatique : Côte d'Azur : 2019

Information trouvée : co-directeur de thèse

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