Merz, Stephan (19..-....)

Merz, Stephan (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 120558513

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

Notice de type Personne

Point d'accès autorisé

Merz, Stephan (19..-....)

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 : 19XX

Genre : Masculin

Notes

Note publique d'information :

En poste au Laboratoire lorrain de recherche en informatique et ses applications, Nancy (en 2006)

Note publique d'information :

Directeur de Recherche à l'Institut national de recherche en sciences et technologies du numérique (INRIA), Examinateur de thèse (en 2016)

Affiliation institutionnelle

Membre de Laboratoire lorrain de recherche en informatique et ses applications (en 2024)

Notice d'autorité liée

Université de Lorraine (2012-....) (Personnel hébergé en 2024)

Identifiants externes

Identifiant HAL : stephan-merz

Identifiant ORCID : 0000-0003-0974-1844

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

Identifiant SCOPUS : 56232233900

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

Identifiant ISNI : 000000005522706X

Source

Abstractions booléennes pour la vérification des systèmes temps-réel / Eun-Young Kang ; sous la direction de Stephan Merz, 2007

Aide à la vérification de programmes concurrents par transformation de code et de spécifications / Allan BLANCHARD; sous la direction de Frédéric LOULERGUE, membre du jury et examinateur de thèse Stephan MERZ, président du jury Sébastien LIMET. Thèse de doctorat : Informatique : Orléans : 2016

Information trouvée : Directeur de Recherche à l'Institut national de recherche en sciences et technologies du numérique (INRIA), Examinateur de thèse (en 2016)

Internet, http://catalogue.bnf.fr/, 2008-03-21

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