A propos

Pr. Mohamed Mosbah

Dr. Mohamed Mosbah is a Professor in computer science at the Polytechnic Institute of Bordeaux, France. He is currently the Director of Industrial Partnerships and Innovation. He carries his research in LaBRI, a research Lab. in computer science common with the University of Bordeaux and CNRS, where he is currently the Deputy Director. His research areas include distributed systems and algorithms, simulation tools, safety and security protocols, and wireless networks. In particular, he is leading a project over the last years to develop a new model together with an integrated methodological framework for distributed algorithms of emergent networks. Recently, he is interested in the study of security and safety for mobile networks. He wrote more than 60 articles and developed software tools, and he is involved in various technical program committees and organizations of many international conferences. He is also involved in many research projects, mainly with industrial aeronautic companies. He has directed over twenty PhD dissertations. He is also involved in collaborations with companies in Nouvelle-Aquitaine region as he is a board member of the cluster Digital Aquitaine which is the main network of digital companies.

Pr. Yves Métivier

Pr. Yves Métivier s’intéresse à l’axe “Calculs Locaux”, au sein du thème Algorithmique distribuée, qui se propose de fournir des outils permettant de coder, d’étudier et d’enseigner certains aspects de l’algorithmique distribuée. Un système distribué peut être codé par un graphe étiqueté : les sommets correspondent aux processus (processeurs), les arêtes aux liens de communication ou d’interaction et les étiquettes associées codent l’état du processus ou du lien. Une règle de calcul (ou de réécriture) s’exprime alors sous la forme d’une modification locale des étiquettes en fonction de valeurs locales : calcul interne `a un processus, émission d’un message, réception d’un message, lecture, écriture, calcul local. Une direction importante dans ce thème est l’étude de la frontière entre l’existence et la non existence d’algorithmes distribués permettant de résoudre certains problèmes comme : l’élection, le nommage, le calcul d’un arbre recouvrant, la détection de la terminaison, la synchronisation, ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d’une part en fonction des règles de calcul autorisées sur le réseau et d’autre part de la connaissance initiale ou de la configuration initiale du réseau. Un autre aspect est l’étude des liens entre les trois modèles : calculs locaux, communication par messages et communication par mémoires et la comparaison des puissances respectives. La non existence d’algorithmes distribués déterministes pour résoudre certains problèmes conduit à proposer et à étudier des algorithmes distribués probabilistes dont l’expression est souvent simple mais dont l’analyse se révèle difficile.

Principaux résultats
Les contributions sont à la fois dans l’introduction des concepts et la réalisation des preuves. L’étude des calculs locaux définis par des réécritures d’arêtes a permis de caractériser la puissance de modèles classiques comme celui d’Angluin ou bien du modèle de Hoare où les échanges de messages entre 2 sommets sont synchrones. Ils ont répondu à une question ouverte posée par Angluin (1980) en caractérisant les familles de graphes admettant un algorithme d’élection. Ils ont proposé et analysé des algorithmes probabilistes optimaux en temps et en bits pour différents problèmes comme le calcul d’un MIS, le coloriage ou bien le calcul d’un matching maximal dans des graphes anonymes sans aucune connaissance initiale. Ils ont proposé et analysé des algorithmes probabilistes du type Monte Carlo permettant de compter ou d’élire dans des graphes anonymes avec une précision arbitraire fixée par chaque sommet d’une manière totalement décentralisée et sans connaissance initiale. Ils ont caractérisé les réseaux radios pour lesquels il existe un algorithme d’élection ou d’énumération. Nous avons donné des algorithmes pour le calcul d’un état global dans les réseaux anonymes ou la détection de propriétés stables dans des réseaux anonymes. Les revêtements ont permis d’obtenir des bornes inférieures pour la complexité de problèmes classiques comme la coloration, le calcul d’un MIS ou d’un maximal matching.

Projets
Parmi les modèles de communication émergents, on peut noter que les modèles à base de BIP sont particulièrement réalistes (la communication est sans fil, un sommet peut écouter et/ou émettre un BIP). On souhaite en acquérir une meilleure maîtrise à travers l’étude de problèmes classiques comme la détection de collision ou bien les algorithmes de graphes comme le calcul du degré de chaque sommet, d’un MIS, le coloriage, le 2-MIS ou bien encore le calcul d’un maximal matching. Ces travaux ont donné lieu à des publications dont la liste peut être trouvée sur DBLP. Ils souhaitent poursuivre l’étude des calculs locaux à travers le problème ouvert du calcul de la carte d’un réseau et prolonger cette étude par l’établissement de liens (ponts) entre les notions introduites et utilisées par Yamashita et Kameda, comme les vues, et les notions introduites et utilisées par les calculs locaux comme les revêtements ou les quasi-revêtements. Les études et les résultats relatifs aux calculs locaux servent de support à différents enseignements de l’algorithmique distribuée effectués `a l’université de Bordeaux et `a l’ENSEIRB-MATMECA. Ils ont rédigé un polycopié sur les algorithmes distribués ; il est largement utilisé dans différents enseignements sur le site bordelais : http ://algodist.labri.fr/pmwiki/uploads/Main/PolyAlgoDistMetivier.pdf.

Pr. Henri Nicolas

Les activités de recherche du professeur Henri Nicolas se sont essentiellement focalisées sur les domaines de la compression vidéo, de l'analyse dynamique (estimation du mouvement, segmentation basée objet en mouvement, image mosaïques), ainsi que des conditions d'illumination. Parmi ses principaux apports scientifiques citons : Le développement de plusieurs critères entropiques permettant d'estimer de manière optimale le mouvement et les contours des régions. La création d'images mosaïques à l'aide d'un critère de modélisation théorique permettant de gérer la cohérence temporelle, l'optimisation de la résolution et l'homogénéité texturelle des images créées. L'estimation des conditions d'illumination (segmentation et modélisation des ombres en mouvement, estimation de la position de la source de lumière) pour l'optimisation d'un schéma de codage, pour la création d'images mosaïques ou pour la post-production vidéo.

Depuis son arrivée au Labri en septembre 2005, ses activités de recherche sont plus particulièrement dirigées vers les domaines de l'analyse dynamique de vidéo pour en extraire des descripteurs utiles pour l'indexation vidéo (ANR ICOS-HD) et pour l'interprétation sémantique du comportement des objets (conventions Cifre et Adacis) dans un contexte mono ou multi caméras ainsi que le tatouage.

Dr. Akka Zemmari

Akka Zemmari has received his Ph.D. degree from the University of Bordeaux 1, France, in 2000. He is an associate professor in computer science since 2001 at University of Bordeaux, France. His research interests include distributed algorithms and systems, graphs, randomized algorithms, machine learning and security. He is head of Distributed algorithms team at the University of Bordeaux. He participated to national research projects, European research projects, and Europe-India projects. He wrote about 50 research papers published in international journals and conference proceedings and he is involved in program committees and organization committees of international conferences.