Lozes, Etienne

Lozes, Etienne

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 104491957

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

Notice de type Personne

Point d'accès autorisé

Lozes, Etienne

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

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse soutenue à l'ENS de Lyon en 2004 sous le titre de : Expressivite des logiques d'espace

Note publique d'information :

Professeur, Université Nice-Sophia Antipolis (en 2019). Professeur à Université Côte d'Azur : 2021-...

Identifiants externes

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

Identifiant ORCID : 0000-0001-8505-585X

Identifiant SCOPUS : 8375981500

Source

Expressivite des logiques d'espace / Etienne Lozes

La synchronisabilité pour les systèmes distribués / Laetitia Laversa ; sous la direction de Etienne Lozes. Thèse de doctorat : Informatique : Université Côte d'Azur : 2021

Information trouvée : directeur 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 : président du jury

Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps / Swarn Priya ; sous la direction de Yves Bertot. Thèse de doctorat : Informatique : Université Côte d'Azur : 2023

Information trouvée : président du jury

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