Accueil
>
Présentation
>
Personnel
> MESSIKA Stéphane
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. MESSIKA Stéphane
ATTENTION : ce membre a quitté le laboratoire le 31/12/2012
Maître de Conférences
Université Paris-Saclay
Tel : (01691)53217
Fax :
Bureau : 116/PCRI-S
Page personnelle :
http://www.lri.fr/~messika/
Courrier électronique :
messika@lri.fr
Activités de recherche
-
Vérification
-
Model-Checking
-
Algorithmique répartie
-
Autostabilisation
-
Réseaux de capteurs
-
Algorithmes probabilistes
-
Modélisation
-
Apprentissage
-
Tolerance aux pannes
