modelisation de systemes dynamiques par reseaux de neurones
Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain
Modélisation de données spatio temporelles
Réseaux d'ordinateurs;Internet; Réseaux sans Fil; Sciences de réseau
Recherche fondamentale optimisation
Co-encadrement thèse Aniss Zebiri
Future interne research
Invité avec clé pour encadrement des thésards (Falq et Quezada) jusqu'à décembre 2020
En collaboration avec Eleni DIamanti
Approche de vérification contextuelle des systèmes ambiants
Doctorant IRT-SystemX
Visiting Marc Shapiro and Delys Group
Utilisation de Coccinelle dans le code HPC
Contrôles d'accès dans les réseaux sans fil ultra-dense. ce travail est réalisé dans le cadre de la coopération en cours entre l'équipe Midiacom de i'Université Fédérale Fluminense (UFF) et l'équipe PHARE de l'UPMC.
Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen
Collaboration dans le domaine du HPC et de l'arithmétique des ordinateurs
Poursuivre mes recherches avec le Professeur Darrell D. E. Long et me familiariser avec les récents travaux de l’équipe du Dr. Marc Shapiro dans le domaine de la « just right consistency ».
implémentation cryptographique orthogonale et sécurisée
Virtualisation des Réseaux
Réseaux et théorie des graphes
Exploitation des réseaux de Petri stochastique généralisé (GSPN) pour la modélisation et la vérification des systèmes reconfigurables
détection d'événements avec les flots de liens
Recherche sur les contrôles d'accès dans les réseaux sans fil ultra-denses.
