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 Université de Lorraine (2012-....) (en 2024)

Membre de Laboratoire lorrain de recherche en informatique et ses applications (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 : ...