Duret-Lutz, Alexandre (1978-....)

Duret-Lutz, Alexandre (1978-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 119034492

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

Notice de type Personne

Point d'accès autorisé

Duret-Lutz, Alexandre (1978-....)

Sur le web

Variante de point d'accès

Lutz, Alexandre Duret-

[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 : 1978

Genre : Masculin

Notes

Note publique d'information :

Professeur à l'EPITA - École pour l'informatique et les techniques avancées, France (en 2022). Membre du Laboratoire de Recherche et Développement de l'Epita (LRDE)

Note publique d'information :

Thèse de doctorat en Informatique soutenue en 2007 à l' Université de Paris 6

Identifiants externes

Identifiant ORCID : 0000-0002-6623-2512

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

Identifiant SCOPUS : 8262059400

Identifiant ISNI : 0000000432588881

Source

Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents / Alexandre Duretz-Lutz ; sous la direction de Fabrice Kordon, 2007

https://www.lrde.epita.fr, le 2022-11-03

Information trouvée : Fonction exercée en 2022

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