Demri, Stéphane P. (1967-.... ; informaticien)

Demri, Stéphane P. (1967-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 070195684

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

Notice de type Personne

Point d'accès autorisé

Demri, Stéphane P. (1967-.... ; informaticien)

Sur le web

Variante de point d'accès

Demri, Stéphane

[Nom de personne]

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

Date de début d'activité : 1994

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse de doctorat en informatique (Grenoble INPG, 1994)

Note publique d'information :

Membre du laboratoire Spécification et Vérification (CNRS UMR 8643) à L'Ecole Normale Supérieure de Cachan (France) et du Laboratoire Leibniz à Grenoble (France). Mars 2003. Directeur de recherche, CNRS, Université Paris-Saclay (en 2022)

Identifiants externes

Identifiant VIAF : https://viaf.org/viaf/916110

Identifiant ORCID : 0000-0002-3493-2610

Identifiant HAL : stephane-demri

Identifiant SCOPUS : 55886490100

Identifiant ISNI : 0000000114364962

Source

Approches directe et par traduction en logiques modales : nouvelles stratégies et traduction inverse de preuves / Stéphane Demri ; sous la direction de Ricardo Caferra, 1994. - Thèse de doctorat : Informatique : Grenoble INPG : 1994

Incomplete Information : Structure, Inference, Complexity/Stéphane P. Demri et Ewa S. Orlowska, Springer, 2002

Internet, http://lcmarc.dra.com/lcauth/AVP-2909, 21-03-2003

http://www.lsv.fr/~demri/, 2022-12-16

Information trouvée : Directeur de recherche, CNRS, Université Paris-Saclay (en 2022)

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