Invités précédents du LIP6

  • KERENIDIS Iordanis

    En collaboration avec Eleni DIamanti

  • KOUSSA Eliane

  • KING Brad
    Entreprise SCALITY

  • VIARD Tiphaine

    détection d'événements avec les flots de liens

  • KLIKPO Enagnon Cédric
    UPMC

    Doctorant IRT-SystemX

  • VILAR BASTOS Ian

  • BELAHCENE Khaled
    Ecole centrale Paris

    sujet thèse : explications pour les modèles de décision multi-critère

  • TARISSAN Fabien
    ISP ENS Cachan

    Réseaux et théorie des graphes

  • OUAISS Iyad

  • MONTEIRO MORAES Igor
    Université Fédérale de Fluminense

    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.

  • LANGAR Rami

  • LABROUSSE Nathalie
    Institut Telecom Brest

    Assistance Ingénierie Pédagogique dans le cadre de la conception d'un Mooc sur les serious game

  • BRAJARD Julien
    Université Pierre et Marie Curie

    Optimisation des performances de codes d'assimilation de données.

  • MILES Daniel

  • CARROLL Jonathan
    B.A in Mathematics and Economics With a Minor in Computer

    Identification of stable Linux patches using machine learning

  • SAULPIC David

  • RUDEK Michal
    Université Pierre et Marie Curie (UPMC)

    Conception et réalisation de la réplication dans antidote

  • SIPASSEUTH Arnaud
    Université de Wollongong

  • RANNOU Léo
    THALES

  • LJUMA Burim

  • GROSSHANS Frédéric

  • MATALLAH Hocine

  • LE GRAND Bénédicte
    Université Paris 1 Panthéon Sorbonne

    Fouille de données dans des graphes de terrain : Classification conceptuelle, Détection de communautés,
    Visualisation (détection d’anomalies dans les réseaux), Aide à la navigation, Analyse de réseaux (réseaux sociaux, réseaux P2P, Internet), Etude des phénomènes de diffusion dans ces réseaux.

    Représentation des connaissances : Web Sémantique, Ontologies.

  • DRON Wilfried
    UPMC

    START UP / Collaboration avec l'équipe SYEL

  • CICALESE Danilo

  • LEBRUN Régis
    Airbus

  • BAMPAS Evangelos
    National Technical University of Athens

    Travaille sur les aspects algorithmiques des réseaux optiques et des systèmes distribués. Dans le domaine des réseaux optiques, il a travaillé sur des problèmes d'affectation de ressources et de routage dans les réseaux optiques qui utilisent le multiplexage en longueur d'onde (Wavelength Division Multiplexing-WDM). Dans ce contexte, la ressource la plus précieuse est typiquement le nombre des fréquences lumineuses qui sont utilisées pour la modulation des différents signaux lors de leur transmission. Les problèmes combinatoires qui en émergent sont typiquement des problèmes de coloration de chemins définis sur un graphe, qui représentent les demandes de communication dans le réseau. M. Bampas a étudié de nombreuses variantes de ce type de problèmes, correspondant à de divers types de contraintes et à de diverses fonctions objectif, et il a proposé des algorithmes (exactes ou d'approximation) pour ces problèmes-là, tant dans le cadre des réseaux optiques monofibres que dans le cadre des réseaux multifibres. Il a aussi étudié des modèles inspirés de la théorie des jeux dans les réseaux multifibres, menant des analyses du prix de l'anarchie sous différentes fonctions de coût de joueur et de coût social. En ce qui concerne les systèmes distribués, il a notamment travaillé dans le domaine des systèmes d'agents mobiles. Il s'agit d'entités autonomes qui évoluent dans un système distribué, éventuellement dynamique ou d'une topologie inconnue, et dont le but est d'effectuer certaines opérations primitives, telles que l'exploration du réseau, le rendez-vous de deux ou plusieurs agents mobiles, ou la recherche de nœuds défectueux. Plus spécifiquement, il a étudié des problèmes liés à l'exploration périodique d'un graphe, la récupération périodique de données en présence de nœuds défectueux, le rendez-vous asynchrone dans une grille infinie, l'exploration sous diverses hypothèses de domaines continus linéaires, etc. Récemment, il travaille sur des problèmes impliquant des agents mobiles à énergie limitée, ainsi que sur le développement d'une théorie de calculabilité adaptée aux agents mobiles.

  • PREMOLI Marco Luigi
    Université de Milan

  • POPA Kosmin

  • PHAN Thi Ha Duong
    Institut de mathématique du Vietnam

    Modélisation des graphes de terrain par décomposition mulptiple

  • KOSKIN Yevhen
    University College Dublin

    Yevhen research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanical systems (MEMS)

  • RMAN RODRIGUEZ Victor

  • KONONOV Alexander
    Novosibirsk

    In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as in the open-shop problem). In this paper we present a new exact polynomial-time algorithm for the mixed-shop problems with preemptions and at most two unit operations per job.
    Joint work with Aldar Dugarzhapov.

  • BLOKHINA Elena
    University College Dublin (UCD)

    Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanical systems (MEMS).



    clé rendu le 24/07 n°14337

  • TANTER Eric

    Théorie des types dépendants et gradualisés

  • HOUHOU Sara
    Université de Biskra

    Spécification vérification formelles de systèmes

  • LÜTKENHAUS Norbert

  • SANOJA Andres

  • RZADCA Krzysztof
    Université de Varsovie

    Travail sur l'affectation de taches à des machines dans des centres de calculs

  • DEFAGO Xavier
    JAIST

    Réseaux de Robots, Systèmes Répartis, Tolérance aux Pannes

  • UNNIKRISHNAN Anupama
    Université d'OXFORD

  • BHUMIKA Goyal

    The Linux kernel relies heavily on structures to maintain information about different system components and to enable interaction between system services. The central role played by these structures in the execution of the Linux kernel makes them an obvious target for attackers. The goal of our project will be to add annotations when possible to the declarations of structures, to protect their contents by limiting or eliminating their mutability. These annotations will include both const, which provides full protection, and e.g., __ro_after_init, that has recently been added to the Linux kernel to make a structure immutable after the initialization phase. Our work will be based on the use of Coccinelle, developed by the Whisper team at UPMC, to find opportunities for the use of these annotations.

  • SAU Ignasi
    CNRS, LIRMM, Montpellier

    Théorie des graphes

  • QUIVIGER William
    ON.lab

    open network operating system
    Visite et Séminaire sur Projets ONOS et CORD

  • ZUK Pawel
    Université de Varsovie, en Pologne.

    Il commence une thèse sous la direction de Krzysztof Rzadca (il a commencé en septembre).

  • KERMANI Mohamed hachem
    Université de Constantine

    Simulation Multi Agents
    Clé n° 13904/13861
    rendu le 03-11-2016

  • GHEORGHIU Alexandru

    Travaux avec Dr. Elham Kashefi (directeur de thèse) sur le calcul quantique et de la cryptographie. Son travail consiste à développer (la théorie) des protocoles cryptographiques pour la vérification des systèmes quantiques.

  • ZANNI Alessandro

  • VAN DE POL Jan Cornelis
    université Twente

    Model checking

  • KANCHANASUT Kanchana
    ASIAN Institute of Technology AIT42, Paholyothin HighwayKlong LuangPahumthani 12120Thailand

    Future interne research

  • BOURGOIN Mathias
    Université d'Orléans

    Programmation GPU

  • ALVAREZ Isabelle
    IRSTEA

  • MOCKAPETRIS Paul Vincent
    Université of Californie, Irvine CA UAS NOMINUM Redwood City C.A USA

    Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l'Internet des objets.

  • CASAZZA Marco

  • LANIEL Francis

    Invité en attendant son contrat doctoral qui démarrera le 1er octobre 2017

  • BOUBAZINE Zakarya

  • MAGRON Victor
    CNRS VERIMAG (Grenoble)

    Optimisation calcul formel

  • ZELMAT Mohammed
    Laboratoire Recits, Faculté des mathématiques (Alger)

    Modélisation d'une boucle à verrouillage de phase numérique (DPLL) et notamment l'optimisation des largeurs de bits des DPLLs.

  • MAUFFRET Etienne

    Termine le dossier stage avec Pierre SENS

  • VENIAT Tom

  • MICHIKO Inoue

  • LI Mei
    China University og Geosciences

  • ROUILLER Ana
    Recife University

    Optimisation de CMMI pour les petites et moyennes entreprises

  • UGON Adrien

    1 jour par semaine sur la continuation des nos travaux aux LIP6 sur le sommeil ( payé sur un contrat de prestation de service par la SATT)
    en CDD avec le LIMICS (INSERM)

  • TRIGO VIDARTE Luis
    Institut d’Optique Graduate School

    Information quantique

  • KROAH HARTMAN Greg
    LINUS FONDATION

    Linux Kernel

  • MANSFIELD Shane
    Edimbourg

    Quantum Informatique

  • NAIMA Mehdi
    UPMC Paris 6

    Etude combinatoires des arbres croissants avec répétition d'étiquettes

  • FERRINI Giulia
    LPMMC- CNRS-UJF

  • YOSHIDA Nobuko
    Impérial College

    professor of computing

  • TORTI Lionel

    Modèles probabilistes et de la librairie aGrUM

  • LAVIGNE Alexandre
    EPITA

    SAT Solver Parallèle

  • DUPLOUY Yann
    IRT SystemX

    Sécurité du véhicule autonome

  • SARR Idrissa
    Université Cheikh Anta Diop de DAKAR

  • CARROLL Jonathan
    B.A in Mathematics and Economics With a Minor in Computer

    Identification of stable Linux patches using machine learning

  • PHAN Thi Ha Duong
    Institut de mathématique du Vietnam

    Modélisation des graphes de terrain par décomposition mulptiple

  • BELOTTI Marianna
    Université Paris DAUPHINE

    modèles de coopération dans des réseaux blockchain

  • JOHNSON Adina Cheniae

    Assessment of the difference between Linux and Android device drivers

  • VU Thi Xuan
    ENS de Lyon

    Résolution de systèmes polynomiaux

  • AHMIM Mohamed

    Projet SFPN
    Optimisation de la bibliothèque CADNA en Fortran

  • BELHADJ Walid
    UPMC

    Optimisation de la bibliothèque CADNA en Fortran

  • PLANTARD Thomas
    University of Wollongong

    Cryptographie

  • HORAN Kelsey
    City university of New York

  • PHAM Tuan Minh
    École Normale Supérieure de Hanoi

  • MERAH Youcef
    UPMC Master 1 SFPN

    Crypte analgie algébrique.

  • LABROUSSE Nathalie
    Stagiaire UPMC

    Assistance Ingénierie Pédagogique dans le cadre de la conception d'un Mooc sur les serious game

  • LHUILLERY Alexis

    Crypte analgie algébrique.

  • SHABUNINA Ekaterina
    Université bicoca Milan

  • YI Richard

  • FRAYSSE Guillaume

  • GUISSE Vincent

  • COLISSEN Léo
    ENS CACHAN

    QUANTUM BLOCKCHAIN

  • BAGHBANZADEH Sima
    Institut for reserch in fondamental siences CIMP

  • RAHIMI-KESHARI Saleh
    Institut of reshech fondamental

  • BLOKHINA Elena

    Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanical systems (MEMS).

  • BEAUSEIGNEUR Clément
    Université Evry

    Une problématique étudiée dans une ANR Jeune Chercheur portée par NGUYEN Kim Thang

  • BRACONO VELLOSO Pedro

    PROJET CROMO

  • UNRUH Dominique

  • KONONOV Alexander
    Novosibirsk

    In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as in the open-shop problem). In this paper we present a new exact polynomial-time algorithm for the mixed-shop problems with preemptions and at most two unit operations per job.
    Joint work with Aldar Dugarzhapov.

  • VÁSQUEZ PÉREZ Óscar Carlos
    University of Santiago

    work on a scheduling problem with quadratic objective function

  • ROE Glenn
    Australian National University

  • TALLA Aravind Reddy
    iit kanpur

  • VIOLA DEAMBROSIS Alfredo

  • JABBARI BIjan
    University Georges Mason

    Communication, computing and Networking theory, with applications to wireless communications systems,cogintive networks nand soectrum sharing,multi-user access, computer network performance,internet routing and path computation algorithms, as well as optimization of quening systems.

  • BILE Claude Henri Philippe

    Crypte analgie algébrique.

  • BOUILLAGUET Charles
    Université de Lille-1

    My research interests cover both computer algebra and cryptography. On the crypto side, I have been studying generic attacks on hash functions, as well as the security of various modes of operation of hash functions. I have recently worked on finding low-data complexity attacks on the AES. I am also interested in the cryptanalysis of multivariate schemes.

  • YENGUI Ihsen

    Version effective du Théorème de stabilité de Suslin pour une application au traitement du signal.

  • CANCELLERE Rossella

  • COJOCARU Alexandru
    University of Edinburgh, Edinburg

    Travaux avec Dr. Elham Kashefi (mon directeur de thèse) sur le calcul quantique et de la cryptographie. Mon travail consiste à développer (la théorie) des protocoles cryptographiques pour la vérification des systèmes quantiques.

  • IAKYMCHUK Roman

    clé 14708 rendue le 22/04/2016
    clé 1500 rendue le 4 juillet 2017

  • ARRAZOLA Juan Miguel
    Centre for Quntum Technologies, Singapor

    Informatique Quantique

  • MANTRI Atul
    Singapore University

  • CHATZIMISIOS Periklis

    Mise en sécurisation de la connexion terminal-service dans les réseaux PMR-WIFI

  • AGON Carlos
    IRCAM

    Conception et implantation de langages pour la musique

  • DISILVESTRO Leonardo

  • COJOCARU Alexandru
    University of Edinburgh, Edinburg

    Travaux avec Dr. Elham Kashefi (mon directeur de thèse) sur le calcul quantique et de la cryptographie. Mon travail consiste à développer (la théorie) des protocoles cryptographiques pour la vérification des systèmes quantiques.

  • KESIDIS George
    Pennsylvania State University

  • HWANG Sien-Kuei
    Academia Sinica

    Typical parameters in increasing diamonds (ANR METACONC)

  • BELALA Nabil
    Université de Constantine 2

    Définition de projet d recherche innovants sur le thème de la vérification de système informatisés dynamiques et des systèmes d'intelligence ambiante.
    Mise en évidence de nouvelles coopérations et de synergies de recherche entre les équipes de laboratoires LIP6 et MISC

  • BENABID Sorore
    Institut Polytechnique des sciences Avancées (IPSA)

    Convertisseurs A/N et N/A sigma-delta pour les chaines d'émission et réception RF

    invitée du 01/04/2014 au 30/03/2015 puis prolonger jusqu'au 30/04/2015

  • ALLAM Mootaz

    participe avec hassan et sorore dans la rédaction d un ANR et avec alhassan un brevet pour l'upmc.

  • GOLEBIEWSKI Zbigniew
    Université de Wroclav

    Shannon entropy versus Knuth entropy for random sampling algorithms

  • GIUSTO Eduardo
    Politecnico Di Torino

  • KOYUNCU Anil
    Université de Luxembourg

    Itrans

  • CHUDNOVSKY Maria
    Princeton

    graph theory and combinatorics
    structural graph theory

  • TENACHI Daim

  • PALIX Nicolas
    Université Copenhague

    Collaboration sur Ipanema

  • HATTAB Noureddine
    ESI Algerie

    system multiagent

  • OLIVO Andrea
    Université Degli stdi di Milano

  • DRAGONE Paolo
    Université de Trento

  • CASARE Sara
    Université de San Paulo

    ingénierie de SMA
    clé n° 12172/12129 rendue le 26/07/16
    clé n°4901 rendue le 05/05/2017 par Zahia

  • QUIVIGER William
    ON.lab

    open network operating system

  • PASSERINI Andrea
    Université de Trento

    13907-13864
    rendue le 24/03/2016

  • SHIMIZU Naohiko
    Tokai University

    Architecture matérielle intégrée sur puce
    Flot de conception VLSI numérique et mixte analogique-numérique, logiciel libre :
    Fabrication de circuit VLSI - Open Source LSI Design
    Make LSI
    MinimalFab

  • MIRALDO Victor
    Université portugal

    COST EUTypes

  • CANCELLIERE Rossella

  • CHAOUCHE Ahmed Chawki

    Collaboration Recherche

  • DEMARIE Tommaso
    Singapore University og Tchnology and Designe

    Quantum information and computation

  • FONG Pascal
    Université de Versailles St Quentin

    Calculs de longueur de courbes algébriques réelles.

  • VALLE Eduardo

  • CASALS Arthur
    université de Sao Paulo

  • LAYADI Said
    Université de Constantine II

    Introduction du temps relatif dans les plans d'agents ambiants.
    CLÉ 10074
    clé 13703 rendu le 09/02/2017

  • CUNHA Italo
    Université Fédérale de Minas Gerais, Brésil.

    PEERING: An AS for Us

  • NOGUEIRA José Marcos
    Federal University of Minas Gerais,

    FUTEBOL project - experimentation on the optical/wireless network frontier

  • MACEDO Daniel Fernandes

  • HARIATI Mehdi
    Université d'Anaba

    Approche formelle pour la combinaison des composants et des aspects

  • GNIRKE Lukas
    Oberlin College

    Porting of Linux device drivers using Prequel

  • URBAN Caterina
    ETH Zurich

    Le sujet de mes recherches est l'amélioration de la qualité des logiciels informatiques. Mon domaine d'expertise est l'analyse statique de programmes, qui fournit des garanties mathématiques rigoureuses concernant les comportements des programmes. Je suis particulièrement intéressée par les méthodes d'analyse basées sur l'interprétation abstraite, une théorie de l'approximation sûre des comportements des programmes. Je travaille actuellement sur l'analyse statique des applications de "data science" afin de détecter automatiquement les erreurs de programmation liées à l'utilisation des données.

  • RAYMOND Jean-Florent
    Université de Montpellier

  • BOZZIO Mathieu
    Telecom ParisTech

    Information quantique

  • MAVROMATI Chrysanthi
    Université de Versailles

    Modes opératoires des algorithmes de chiffrement par bloc

  • HAGHIGHITALAB Delaram

  • HOBAN Matty
    University of Edinburg ,UK

    INFORMATION QUANTIQUE

  • BILLOT Victor

  • SAID Issam

    Etude des APU pour l'imagerie sismique.

  • ORIEUX Adeline

  • GHRIBI Kaoula
    Ecole Nationale d'Ingénieur de Tunis

    Système multi Agent

  • YOSHIDA Nobuko
    Impérial College

  • MARTINS Paulo
    Université de Lisbonne

    RNS Lattice-based Cryptography
    clé 14296

  • KAHLOUL Laid
    Université de Biskra en Algérie

  • SIPASSEUTH Arnaud
    Université de Wollongong

  • MILOJEVIC Dragomir
    Université libre de Bruxelles, Belgique

  • OROZCO Leonardo
    Guadalajara, Mexico

    The design and FPGA implementation of spectrum sensing algorithm for cognitive radio receivers.

  • THEODOROS Kapourniotis
    University of Warwick

  • KOUTSCHAN Christoph

  • KIM JongWon
    Gwangju Institute of Science & Technology (GIST)

  • LINARD Alban
    LSV

    Alban Linard est ingénieur sur le projet CosyVerif qui vise au développement d’une plate-forme de vérification formelle. Ce projet est mené conjointement par le LIP6 (équipe MoVe), le LIPN et le LSV.

  • RENAULT Marc
    Université Paris 7

  • RZADCA Krzysztof
    Université de Varsovie

  • SKOWRON Piotr

  • MEKBUNGWAN Preechai

    work on pollution sensing within the joint project SEA-HAZEMON that aims at monitoring and predicting haze in the golden triangle of Thailand in order to prevent respiratory diseases for the general population. You are expected to join my team and work on the design and development of the sensing system both Front End and Back End. We will support your lodging expenses and provide for some local expenses.

  • ELIAS MITRE CAMPISTA Miguel
    Universidade Federal de Rio de Janeiro

  • BASSE Adrien
    Université de Dakar

  • KERMANI Mohamed hachem
    Université de Constantine

    Simulation Multi Agents
    Clé n° 13904/13861
    rendu le 03-11-2016

  • SANOJA Andres
    Université de Caracas

  • MIRALDO Victor
    Université portugal

    COST EUTypes

  • VIOLA DEAMBROSIS Alfredo
    University of the Républic (Montevideo)

    Repetitions in increasing trees to represent executions in concurrent programs

  • MULLINS John
    École Polytechnique de Montréal

    L’analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l’information est devenu un champ de recherche très actif. Il recouvre aussi bien le développement d’une théorie de la sécurité de l’information que ces systèmes doivent assurer que celui de méthodes aptes à assurer leur correction. L’approche de la théorie du flux d’information est une approche booléenne au sens où le comportement d’un système est soit bon, soit mauvais relativement à la sécurité requise. Toutefois, cette approche est trop grossière pour décrire les aspects probabilistes du flux d’information et prévenir ainsi les attaques basées sur l’analyse statistique, capables d’inférer un secret à partir de ses observations, ou encore pour analyser le coût computationnel du flux d’information et prévenir ainsi les attaques contre la disponibilité des ressources. Ces toutes dernières années, un champ de recherche sur les modèles probabilistes de flux d’information a émergé. Mais aucun modèle n’a encore été proposé pour quantifier aussi les ressources néces- saires mises en oeuvre par l’environnement pour réussir une attaque. Un tel modèle poserait les jalons d’un modèle formel d’analyse de risque sécuritaire. Ce projet de recherche vise donc à développer un modèle général pour exprimer ce type de mesures de flux d’information qui étende le modèle probabiliste défini conjointement par des chercheurs de l’École Polytechnique de Montréal (EPM) et de l’Université Pierre & Marie Curie (UPMC) et à étudier le problème de compositionalité de ces mesures, relativement aux opérateurs de séquentialité. Le contexte méthodologique naturel est celui des Processus de Décisions Markoviens Pondérés (PDMP) pour la modélisation et des séries formelles pour la spécification des mesures de flux d’information.

  • LAMARCHE-PERRIN Robin

    Analyse multi-échelles de graphes dynamiques

  • SARR Idrissa
    Université Cheikh Anta Diop de DAKAR

  • BREJON Jean-Baptiste
    INRIA

  • COSTA DIAS Rita De Cassia
    Université de Loeben, Autriche

    Methods for optimizing the die environnment for the pultrusion process.

  • PHAN Thi Ha Duong
    Institut de mathématique du Vietnam

    Modélisation des graphes de terrain par décomposition mulptiple

  • PANAGIOTOU Konstantinos
    LMU Munich

    mathématiques et informatique

  • GORI Marco
    Université de Sienne, Italie

    Apprentissage automatique
    Recherche d'information
    Modélisation utilisateur

  • CAMARGO Raphael
    UFABC

    les problème de scheduling et consommation d'énergie.

  • LEVINE Joshua
    University of Arizona

    Visualisation scientifique

  • RONZON LAVIE Ramon
    Université de Versailles

    Cryptographie post-quantique à base de systèmes polynomiaux

  • HELMY Ahmed

  • WALLNER Michaël
    Technische Universität Wien

    Compactified trees sees as decreasing DAGs.

  • BARRETO João
    Universidade Lisboa

    Distributed Systems

  • OUADJAOUT Abdelraouf

    Interprétation abstraite probabiliste de protocoles de communication avec renouvellement

  • ZHANG Xiaoda
    Université de Nanjing

  • DUPLOUY Yann
    IRT SystemX

    Sécurité du véhicule autonome

  • CROOKS Natacha
    University of Texas

    Consistency in Distributed Systems

  • PALINSKI Derek
    OBERLIN COLLEGE

    Quantifying the maintenability of Linux Device Drivers
    Analysis of device tree representations in the Linux Kernel

  • FU Xiaoming
    Université de GOETTINGEN

    Clef 14540

  • MOVAHEDI Zeinab
    Université de Téhéran

    MOBILE CLOUD COMPUTING in 5G

  • CASARE Sara
    Université de San Paulo

    ingénierie de SMA
    clé n° 12172/12129 rendue le 26/07/16

  • HARLALKA Vatika
    International Institute of Information Technology; Hyderabad

    Scheduling on multicore processors

  • HARIATI Mehdi
    Université d'Anaba

    Approche formelle pour la combinaison des composants et des aspects

  • BULBUL Kerem

  • MARIN Olivier
    Université de SHANGAI

  • BANDYOPADHYAY Sivaji
    Jadavpur University Kolkata - 700 032 INDIA

  • BONNET Francois
    JAIST

    Systèmes répartis

  • OUALI Kaouther
    ENIT

    Communication D2D

  • RZADCA Krzysztof
    Université de Varsovie

  • ALVES FRANCO BRANDAO Anarosa
    Université de San Paolo

    Systèmes multi-agents

  • CHAPUIS Kevin

  • BROUSMICHE Kei-Léo

  • DATTA Ajoy Kumar
    University of Nevada

    Self-Stabilization in distributed Systems

  • ZOUARI Belhassen
    Sup'Com Université de Carthage

    Modélisation et vérification de processus Métiers

  • YENGUI Ihsen

    Version effective du Théorème de stabilité de Suslin pour une application au traitement du signal.

  • SABRAOUI Ayoub
    Université Cadi Ayad

    Génération des interfaces graphiques pour les plate-formes mobiles à base de NTA et les anthologies.

  • DJABER Khaled
    Université de Biskra

    Modélisation et analyse des systèmes embarqués temps réel

  • PSARROS Ioannis
    Université d'Athens

  • HARKOUKEN Kenza

  • RENAULT Marc
    Université Paris 7

  • AMENDOLA CERON Carlos
    équipe associée GOAL

    fait par CM le 2/09, mail de Mohab. Infos à compléter par IK

  • RUMP Siegfried
    Hamburg University of Technology

  • GITTENBERGER Bernhard
    Technische Universität Wien (Austria)

    Repetitions in increasing trees

  • JELASSI Sofiene

    Recherche autour de 5G

  • BANDYOPADHYAY Sivaji
    Jadavpur University Kolkata - 700 032 INDIA

  • VALLE Eduardo

  • AGON Carlos
    IRCAM

    Conception et implantation de langages pour la musique

  • HUANG Chien-Chung
    Chalmers University of Technology, Department of Computer Science and Engineering

  • TOURNOUX Pierre Ugo
    Université de la Réunion

  • LIDBETTER Thomas
    Department of Management, London School of Economics, Houghton Street

  • ROUX Antoine
    Thalès

    Algorithmes pour code auto-correcteur

  • ENDRISS Ulle

    Choix social computationnel

  • MEDHI Deep

  • QIU Kun

  • O RIORDAN Eoghan
    Université Dublin

    energy harvesting
    Clé n°4394 rendu
    Déjà arrivé 01/01/2015 - 31/01/2015

    clé rendu n°9098 - départ le 18/03/2016

  • GOVINDEN Jérôme
    SATT Lutetch

    Un programme de maturation SATT Lutech intitulé « HFEBoost » mené par Ludovic Perret et Jean-Charles Faugère se déroule actuellement au LIP6. L’équipe a développé un cryptosystème innovant sous la forme d’une application mobile qui sera testée demain par la DGA et l’Armée de Terre lors d’une Opération d’Expérimentation Réactive.

    Plusieurs industriels ont déjà mentionné leur intérêt pour la technologie. Les prochaines étapes du programme consisteront à la positionner finement sur le marché en réalisant une étude et à effectuer un benchmark. C’est dans le cadre de cette dernière tâche que l’équipe souhaiterait accueillir durant 3 mois Jérôme Govinden, afin qu’il puisse optimiser les paramètres du cryptosystème et le comparer à RSA et aux courbes elliptiques.

  • PASSERINI Andrea
    Université de Trento

    13907-13864
    rendue le 24/03/2016

  • BEN BELKACEM Farida
    Université de Tizi Ouzou

  • FU Xiaoming
    Université de GOETTINGEN

  • BERGHOUT Yasser Moussa
    Université de Biskra

    Vérification des systèmes distribués par les modèles probabilistes

  • MEHENAOUI Zohra
    Université 8 Mai 1945, Guelma, Algerie

    Stagiaire avec JM Labat en thèse

  • CHAOUCHE Ahmed Chawki

  • POWERS Thomas
    University of Delaware

  • LEAL DOMINGUES NETO José
    UFMG

    Mobile cloud offloading

  • BOZIC Nikola

  • HUANG Chien-Chung
    Chalmers University of Technology, Department of Computer Science and Engineering

  • PALINSKI Derek
    OBERLIN COLLEGE

    Quantifying the maintenability of Linux Device Drivers

  • MOVAHEDI Zeinab
    Université de Téhéran

    MOBILE CLOUD COMPUTING in 5G
    zmovahedi@iust.ac.ir

  • MENNOUR Rostom
    Université Constantine2 Abdelhamid Mehri

    Utilisation des CRDTs dans les systèmes de traitements des Big Data

  • PLANTARD Thomas
    University of Wollongong

    Cryptographie

  • PRIEUR Christophe
    Université Paris 7 - Denis Diderot

    Structure et Dynamique des Réseaux

  • KONONENKO Kirill
    INRIA

    Optimisation de code.

  • OUDNI Amal

  • RAHMOUNE Yasmina
    Université de Constantine

    Transformation et vérification des modèles

  • BOURIF Mehdi
    UPMC

    Développement SPOC

  • BENAHCENE Abida
    Université 8 Mai 1945 Guelma

    Utilisation des techniques de data meaning pour la recommandation des utilisateurs dans un environnement Informatique d'apprentissage humain.

  • VÁSQUEZ PÉREZ Óscar Carlos

  • PASSERINI Andrea
    Université de Trento

  • MENOUER Tarek
    Université Paris 10

    La parallélisation des solveurs

  • HUYGHUES DESPOINTES Charles
    UPMC

    Connexité dans les réseaux dynamiques

  • OUADJAOUT Abdelraouf
    centre de recherche CERIST à Alger

    Interprétation abstraite probabiliste de protocoles de communication avec renouvellement

  • ULLRICH Carsten
    DFKI (Berlin)

    EIAH

  • KHAN Saqib
    NUST School of Electrical Engineering and Computer Science

  • FOTAKIS Dimitrios
    School of Electrical and Computer Engineering National Technical University of Athens

  • KONRAD Christian
    Islande

  • AYADI Aicha Lilla
    ENIS de Sfax

    Etude et implémentation d’un décodeur HEVC (H265) en technologie avancée

  • COELHO FERREIRA Paulo Cesar

  • BASSET Nicolas

  • KUBJAS Kaie
    Aalto Science Institute


    Since January 2014, I am a postdoctoral researcher at Aalto Science Institute. I am associated with Alexander Engström's group and AScI thematic program "Challenges in Large Geometric Structures and Big Data".

    I have spent a semester at the Simons Institute in Berkeley attending the program "Algorithms and Complexity in Algebraic Geometry" and a semester at the Max Planck Institute for Mathematics in Bonn working with Bernd Sturmfels. I defended my PhD thesis "Algebraic and combinatorial aspects of group-based models" in May 2013 at Freie Universität Berlin. My supervisors were Christian Haase and Klaus Altmann. I was a member of Berlin Mathematical School.

    Research interests: algebraic statistics, computational algebraic geometry, polyhedral geometry and combinatorics.

  • BAH Mamadou Tahirou
    UPMC

  • ORERO Joseph
    Université de Jomo Kenyatta

  • VALLE Eduardo

  • MATTOSO Marta
    Université Federal de Rio de Janeiro

    Scientific Data Management in High Performance Computing
    Scientific Workflows
    Data Provenance
    Query Processing: Sequential, Distributed and Parallel
    5340

  • NOGUEIRA José Marcos

  • CONDE Marta
    CSIC (Madrid)

    Cryptographie et attaque algébrique

  • MELEU Romaric
    Université de Yaoundé

    Complex Networks
    5887

  • RAVOSON Maminionja

  • CANCELLIERE Rossella

  • HARIATI Mehdi
    Université d'Anaba

    Approche formelle pour la combinaison des composants et des aspects

  • DANISCH Maximilien

  • DE KEULENAER Ronald
    université de Gand

    applications automatiques et efficaces de protections de code binaire
    clé rendue n° 9011461 au sec KABA le 25/09/2015

  • LUSICH JIMÉNEZ Pedro

    Je soussigné Patrick Garda, responsable de l’équipe « Systèmes électroniques » (SYEL) du Laboratoire d’Informatique de Paris 6 (LIP6), invite M. Pedro LUSICH du 1er aout 2015 au 30 septembre 2015, au sein de l’équipe SYEL du LIP6.
    Cette invitation est destinée à lui permettre de terminer les travaux sur la modélisation des dispositifs de récupération d’énergie, qu’il a menés pendant son stage de Master 2 en informatique de l’UPMC au LIP6, et pour lesquels il aura besoin de prolonger la clé N° 12519, qui lui a été attribuée pour ce stage, en lui donnant accès à la salle 515 du 5e étage de la barre 24-25 sur le campus de Jussieu.

  • SHPARLINSKI Igor
    NSW Australia

  • AMENDOLA CERON Carlos
    équipe associée GOAL

    fait par CM le 2/09, mail de Mohab. Infos à compléter par IK

  • ZHAO Yan-Chao
    Nanjing University, China

    Wireless Network in Mobilecloud

  • RENAULT Marc

  • BENNAI Mohamed
    Université de Boumardes

  • MASUZAWA Toshimitsu
    Osaka University

    Algorithmique distribuée, réseaux de capteurs, tolérance aux pannes et aux attaques

  • THUNG Ferdian
    Singapore Management University

  • FRIEDMAN Roy

  • MURMANN Boris
    Université de Stanford

  • ACHOUBA Sofian
    Université Pierre et Marie Curie

    Client WEB pour Cosyverif

  • VASILEVSKI Michel
    UPMC

  • ROCHA JIMENEZ VIEIRA Fabio

    maille roteament et intelligent accès Internet grand public

  • ALVES FRANCO BRANDAO Anarosa
    Université de San Paolo

    Systèmes multi-agents

  • ZHAO Yu

  • APONTE GARCIA Maria Virginia
    CNAM Paris

    Coq

  • COSTA Luis Henrique
    Universidade Federal do Rio de Janeiro

    wireless networks, group communication, quality of service, multicast

  • GAO Sheng

  • JASZKIEWICZ Andrzej
    Poznan University of Technology

  • DE OLIVEIRA BRANDAO Leonidas
    Universidade de Sao Paulo - USP

    Systeme and methods to support teaching and learning via the Web. Incorporation of parametrized questions and serious games.

  • RUBINI Luca

  • EDER Christian

  • PAPADOPOULOS Christos
    Colorado State University - Department of Computer Science

    Computer Networks, Network Security, Multimedia Communication, Distributed Systems

  • ZHAO Jin
    Beijing University of Posts and Telecommunications

    Projet Acronym: Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

    Clé rendue n°12439 le 11/03/2015

  • CHEN Xueqing
    Beijing University of Posts and Telecommunications

    Projet Acronym: Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

  • WANG Xin
    Beijing University of Posts and Telecommunications

    Projet Acronym: Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

  • GRAMOLI Vincent
    Universite de Sydney

    data types

  • DORZHIEV Vitalii
    Université de Novosibirsk (Russie)

    Collaboration avec Dimitri sur la modélisation des interfaces électroniques pour la récupération d'énergie vibratoire

  • TABIB Nacer
    Université de Constantine

    Verification distribuée des systèmes informatiques.

  • ZHI Lihong
    Mathematics Mechanization Research Center Institute of Systems Science Academy of Mathematics and System Sciences Academia Sinica, Beijing, China

    Calcul Formel

  • WANG Chu

  • GUO Feng

  • ZOIS Georgios

  • BERNARDES Daniel
    Université Paris 13 Villetaneuse

    3473

  • FOURNIER Raphaël
    MC CNAM

    Analyse des flots de liens

  • PHE-NEAU Tiphaine

  • MARTINEZ-JULIA Pedro
    Department of Communication and Information Engineering Faculty of Computer Science University of Murcia

    the overlay networks, the security protocols, and the distributed systems and services.

  • YU Hong

  • GAMMAITONI Luca
    Universita Degli Studi di Perugia

    Va étudié les problèmes de l'énergie dans les systèmes matériels de traitement de l'information

  • HONIDEN Shinichi
    Professor and Director,Intelligent Systems Research Division,National Institute of Informatics, Japan

    We study agent technologies as software technology for advanced network computing such as agent architecture, agent oriented software engineering, and advanced agent applications.

  • TONELLOTTO Nicola
    ISTI CNR à Pise (ISTI CNR)

    Nicola Tonellotto is researcher at ISTI-CNR since 2006, and he is contract Professor at the Computer Science Department of the University of Pisa since 2009, where he teaches courses on high performance computing and distributed enabling platforms. His main research interests include Cloud computing and Web information retrieval.

  • MITRA Bivas

  • PAL Nikhil
    Indian Statistical Institute (Calcutta)

    Machine learning, emotion mining, fuzzy clustering, big data, information theory.

  • PRAMANIK Soumajit
    IIT Kharagpur

    Controlling Information Flow in Social Networks

  • FRIEDMAN Roy

  • KINDLER Ekkart
    DTU Danemark

    Ekkart Kindler’s primary interest is in model based software engineering, which allows engineers to generate major parts of the code automatically from different kinds of models. This way, productivity as well as the quality of the resulting code can be increased. The long term goal is a technology for completely generating the software from models, and to support the corresponding development processes by tools.

  • RIENER Cordian
    Aalto University

  • BULBUL Kerem

  • SEN Halil

  • SALAMA Khaled
    King Abdullah University for Science and Technology (KAUST)

    Bio-capteurs

  • AMMAR Mostafa Hamed
    Georgia Institute of Technology - School of Computer Science

    network architectures, protocols and services, contributions in the areas of multicast communication and services, multimedia streaming, content distribution networks, network simulation and, most recently, in disruption-tolerant networks and overlay network design.

  • PETTURITI Davide

  • STRATIGOPOULOS Haralampos
    Laboratoire TIMA à Grenoble, France

    Test et conception en vue du test, des circuits et systèmes analogiques et mixtes.

  • STAN Alexandru
    Université de Babes-Bolyai (Roumanie)

    Génération de graphes aléatoires

  • PRADEL Bruno

  • VÁSQUEZ PÉREZ Óscar Carlos

  • GERLA Mario
    UCLA Computer Science Department

    Analysis, design, and control of computer communications networks and systems

  • BENABID Sorore
    Institut Polytechnique des sciences Avancées (IPSA)

    Convertisseurs A/N et N/A sigma-delta pour les chaines d'émission et réception RF

    invitée du 01/04/2014 au 30/03/2015 puis prolonger jusqu'au 30/04/2015

  • MOVAHEDI Zeinab
    Université de Téhéran

    Réseau green et autonomique

  • ABAL Iago
    IT University of Copenhagen

    Static analysis of highly configurable software
    Clé kaba rendue le 16 mars 2015

  • ABI HAIDAR Alaa

  • BOUKHARROU Radja
    UNIVERSITÉ CONSTANTINE 2

  • LIDBETTER Thomas
    Department of Management, London School of Economics, Houghton Street

  • SHIMIZU Naohiko
    Université Tokai, Japon

    Développement d'outils de CAO VLSI de l'environnement CORIOLIS.

  • THOMAS Rekha
    Université de Washington (département de mathématiques)

    Her research interests include mathematical optimization and computational algebra.

    Clé (12372) rendue le 03/02/2017

  • CANCELLIERE Rossella

  • CHEVILLARD Sylvain
    INRIA (Sophia Antipolis)

  • FILIP Silviu-Ioan
    ENS Lyon

  • JACOB Yann

    Communautés dynamiques et recouvrantes pour la segmentation de clientèle

  • PREMOLI Marco Luigi
    Université de Milan

  • YE Baoliu
    NANJING UNIVERSITY

    Project Acronym: MobileCloud
    Linking Sino-European Research Institutions in the Mobile Cloud Era

  • BRISTOT DE OLIVEIRA Daniel
    Universidade Federal de Santa Catarina

  • BALACHEFF Nicolas
    Laboratoire d'Informatique de Grenoble

    Directeur de recherche CNRS

  • CLERC Xavier

    Coccinelle

  • EL HENI Neila

    Clé rendue n°824 le 29 janvier 2015

  • GHANNEM Afef
    Institut Superieur d'Informatique et de Gestion Kairouan Tunisie

    Travail sur la E-éducation (EIAH)

  • GUIMARAES Silvio
    Pontifícia Universidade Católica de Minas Gerais – Institute d’Informatique

    Content based information (image and video) retrieval, Digital Image Processing

  • SABRAOUI Ayoub
    Université Cadi Ayad

    Génération des interfaces graphiques pour les plate-formes mobiles à base de NTA et les anthologies.

  • BAHL Paramvir Victor
    Microsoft Recherche

    Mobility and Networking Research

  • DOUHA Djamel
    USTHB

  • BENDOTTI Pascale
    EDF R&D

    RO, Optimisation combinatoire, gestion production éléctrique

  • LI Shuang
    Beijing University of Posts and Telecommunications

    Project Acronym: MobileCloud
    Prroject Fulle Name : Linking Sino-european Research Institutions in the Mobile Cloud Computing Era

  • STEFANOVITCH Nicolas

  • LIU Zishan
    BEIHING UNIVERSITY OF POSTS ANDS TELECOMMUNICATIONS

    Project Acronym: MobileCloud
    Prroject Full Name : Linking Sino-european Research Institutions in the Mobile Cloud Computing Era

  • QIN Zhen
    Beijing University of Posts and Telecommunications

    Projet Acronym Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

  • APONTE GARCIA Maria Virginia
    CNAM Paris

    Coq

  • USUNIER Nicolas
    UTC (Université Technologique de Compiègne), au Laboratoire Heudiasyc

  • THUNG Ferdian
    Singapore Management University

  • SAXENA Nitin
    IIT Kampour

    Complexité algébrique

  • BULBUL Kerem

  • SEN Halil

  • XIE Lei
    Beijing University of Posts and Telecommunications

    Projet Acronym Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

  • LAYADI Said
    Université de Constantine II

    Introduction du temps relatif dans les plans d'agents ambiants.
    CLÉ 10074

  • MILIS Ioanis
    Athens University of Economics and Business

  • ZHAO Jin
    Beijing University of Posts and Telecommunications

    Projet Acronym: Mobicloud
    Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era

    Clé rendue n°12439 le 11/03/2015

  • KALTOFEN Erich
    North Carolina State University

    Genomic sciences

  • HARITI Badis
    USTHB

    Sécurité Réseaux stagiaire Fouad GUENANE

    Clé rendue le 10/12/2014 n°12311 12268

  • BRUNER Marie-Louise
    Technische Universität Wien

    On the compactification of Boolean expressions
    (projet Amadeus -- Campus France/Egide

  • KONRAD Christian
    Islande

  • RABIA Tarek

  • HARIATI Mehdi
    Université d'Anaba

    Approche formelle pour la combinaison des composants et des aspects

  • SCHOST Eric
    Western University

    Explorer les aspects algorithmiques de l’informatique pour résoudre des problèmes mathématiques qui empêchent actuellement les ordinateurs d’atteindre leur potentiel.

  • SEDDIK Yasmina

    Collaboration with the members of the Operation Research team of LIP6 on the study of mixed-criticality scheduling problems.

  • GLIGOROSKI Danilo
    NTNU (Norvegian university of sciences and technology

  • VÁSQUEZ PÉREZ Óscar Carlos

  • RIOS SOLIS Yasmin Agueda

  • KAMALI Shahin
    University of Warterloo

  • OGAWA Mizuhito
    Gaist

    Software verification informal methods

  • PRAMANIK Soumajit
    IIT Kharagpur

    Controlling Information Flow in Social Networks

  • CANCELLIERE Rossella

  • EL MERNISSI Karim

    génération d'explications pour des systèmes à base de règles

  • AGON Carlos
    IRCAM

    Conception et implantation de langages pour la musique

  • SATO-ILIC Mika
    University of Tsukuba

    She is one of the first to combine data mining, machine learning and computational statistics to create a new tool to handle the latent structure of today's vast and complex data in the framework of computational intelligence.

  • ROTHBERG Valentin

  • FEHER Michaël

    CDD : dans le cadre d'un projet soutenu par le labex SMART.
    Payé par ISIR (Voir avec Mme Adela KABAKLIJA)
    Physiquement présent au sein de notre laboratoire LIP6

  • YOSHIDA Nobuko

  • TACKX Raphael

  • LIU Xuan
    UMKC

  • TASIRAN Serdar
    Université de Koç

    Vérification de Programmes Répartis

  • RZADCA Krzysztof
    Université de Varsovie

  • WALLNER Michaël
    Technische Universität Wien (Austria)

    On the compactification of Boolean expressions

  • GITTENBERGER Bernhard
    Technische Universität Wien (Austria)

    On the compactification of Boolean expressions

  • BRUNER Marie-Louise
    Technische Universität Wien

    On the compactification of Boolean expressions
    (projet Amadeus -- Campus France/Egide

  • SHIMIZU Naohiko
    Tokai University - Japon

    - Développement d’outils CAO (placement et routage) pour la VLSI en coopération avec l’équipe CIAN du LIP6. Contribution aux plateformes Alliance et Coriolis développées par l'équipe CIAN.
    - Initiation d'une coopération avec l'Université de Tokai au Japon et l'UPMC.
    - Etude des systèmes sur puce et systèmes embarqués en coopération avec le département SoC.

  • PHAM Dan Chi
    Université de Copenhague

  • MAINARDI Chiara
    Maison de la Recherche

  • HERMAN Aaron
    NCSU

  • FOURNIER Raphaël
    Post Doc Université Paris 10

    Analyse des flots de liens

  • WANG Philippe
    PostDoc Cambridge

    Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle
    clé 6674

  • TABOURIER Lionel

    Modélisation des Réseaux Dynamiques

  • QUEMA Vivien
    Grenoble INP

    Vivien Quéma travaille sur les thématiques des Systèmes Distribués et des Systèmes Multi-coeurs.

  • SHEIBANYRAD Hamed
    TIMA

    Réseau sur puce

  • DUPRET Georges
    Yahoo!

    modèles utilisateurs pour la recherche d'informations

  • LI Yifan
    LRI Orsay

    recommandations dans des grands graphes

  • GIMENEZ Francisco

  • XIAO Yubin
    Instituto Politécnico de MACAU

    Operating Systems

  • ROUQUIER Raphael
    University of California at Los Angeles

    théorie des représentations

  • GARCIA-PARDO Francisca
    University of Malage

  • MULLINS John
    École Polytechnique de Montréal

    L’analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l’information est devenu un champ de recherche très actif. Il recouvre aussi bien le développement d’une théorie de la sécurité de l’information que ces systèmes doivent assurer que celui de méthodes aptes à assurer leur correction. L’approche de la théorie du flux d’information est une approche booléenne au sens où le comportement d’un système est soit bon, soit mauvais relativement à la sécurité requise. Toutefois, cette approche est trop grossière pour décrire les aspects probabilistes du flux d’information et prévenir ainsi les attaques basées sur l’analyse statistique, capables d’inférer un secret à partir de ses observations, ou encore pour analyser le coût computationnel du flux d’information et prévenir ainsi les attaques contre la disponibilité des ressources. Ces toutes dernières années, un champ de recherche sur les modèles probabilistes de flux d’information a émergé. Mais aucun modèle n’a encore été proposé pour quantifier aussi les ressources néces- saires mises en oeuvre par l’environnement pour réussir une attaque. Un tel modèle poserait les jalons d’un modèle formel d’analyse de risque sécuritaire. Ce projet de recherche vise donc à développer un modèle général pour exprimer ce type de mesures de flux d’information qui étende le modèle probabiliste défini conjointement par des chercheurs de l’École Polytechnique de Montréal (EPM) et de l’Université Pierre & Marie Curie (UPMC) et à étudier le problème de compositionalité de ces mesures, relativement aux opérateurs de séquentialité. Le contexte méthodologique naturel est celui des Processus de Décisions Markoviens Pondérés (PDMP) pour la modélisation et des séries formelles pour la spécification des mesures de flux d’information.

  • MOVAHEDI Zeinab
    Université de Téhéran

    Sur la confiance dans les réseaux sans fil mobiles autonomiques.

  • WANG Yang
    institut of computing technology of Chinese Academy of Science

    Future Internet testbeds
    N° clef saisi par JLM

  • VINIOTIS Yannis
    North Carolina State University

    Computer network protocols and architecture, modeling and performance evaluation

  • KIM Dae Young
    Chungnam National University

    R& E Networks et futur Internet

  • PIPANMEKAPORN Luepol
    University of north Bangkok KING MONGKUTS

  • SOBOT Robert

  • COWLESSUR Sanjeev Kumar
    Université des Mascareignes

    analyse et fouille de données

  • LIDBETTER Thomas
    Department of Management, London School of Economics, Houghton Street

  • WARD Justin
    Department of Computer Science, University of Warwick

  • CONDE Marta
    CSIC (Madrid)

    Cryptographie et attaque algébrique

  • LEVINSON Nanette
    American University

    Des actions de mobilités du projet européen EC FP7 Network of Excellence in Internet Science

  • KAUERS Manuel
    Johannes Kepler University/ RISC

  • DE ALBUQUERQUE ARAÚJO Arnaldo
    Universidade Federal de Minas Gerais –Computer Science Department

    Content based information (image and video)
    retrieval

  • RIENER Cordian

  • PESCHE Romain
    UPMC

  • ZHANG Lixia
    UCLA Computer Science Department

    nternet Architecture Design: How many necessary pieces and how do we know they are necessary?
    Network Protocol Designs: Let's start collecting a set of principles from past successes and lessons.
    How to Secure Large Scale and Open Systems, such as the Domain Name System (DNS) and global Internet routing infrastructure

  • HOUSSAIS Antoine
    UPMC

  • HELMER Martin

  • BRIOLA Daniela
    DIBRIS, University of Genova, Via Dodecaneso 35, 16146 Genova, ITALY

    : Joint visit with prof. Mascardi to discuss our common research interests on Analysis, Design and Validation of Multi-Agent Systems (MAS), to make a plan for joint projects and publications, and to start working on them.
    Attendance to the workshop organized by Professor Amal El Fallah Seghrouchni with Professor Shinichi Honiden, Deputy Director General of the Japanes National Institute of Informatics (NII) and Professor at the University of Tokyo, on MAS-related issues.

  • BRUGUERA Javier
    Université Santiago de Comos

  • PACHET François
    SONY CSL

    Director of SONY Computer Science Laboratory Paris, and lead the music research team.

  • CANCELLIERE Rossella

  • ROMERO MORALES Maria Dolores
    University of Oxford

  • MORGAVI Giovanna
    IEIIT - CNR - Italie

    SCHYSSA : Symbolic & Chaotic Hybrid method for Sleep Stage Automatic classificatory.

  • DE MORAES ROSSETTO Anubis Graciela
    UNIveRSIDADE FEDERAL do rio grande do sul

  • COSMIN Radu Popa
    Université Polytechnique of Bucharest (Roumanie)

  • POMEROL Jean-Charles

  • LESCA Julien

  • KALTOFEN Erich
    North Carolina State University

    Genomic sciences

  • DANG Richard
    UPMC

  • COURTOIS Vincent

  • TOUNSI Wiem

  • ANGIUS Fabio
    UCLA

    Mobility and Networking

  • ZHI Lihong

  • CHENG Jinsan

  • SILVA Edelberto

  • FRONTINI Francesca
    Istituto di Linguistica Computazionale - CNR - Pisa

  • LAURENT Anne
    LIRMM

  • MASTROLILLI Palmo Monaldo

  • PETER BRO Miltersen

  • DOLIGEZ Damien
    INRIA

    Methodes formelles

  • FEY Görschwin
    Université de Breme

    Conception Test et Verification de systèmes embarqués critiques

  • BACHIR Mounira
    PostDoc LIP6

  • LOUNIS Aziza

    Clé n°9537 rendue le 8/01/16

  • VAISSADE Frédéric

    Manager de projets.

  • STOCCA Jean-Paul
    IRISA Rennes

  • BALLINI Rosangela
    University of Campinas, Brazil

    Analyse de séries temporelles, logique floue, réseaux de neurones, systèmes dynamiques, résumés linguistiques de flots de données évolutives, applications économiques (prévision de marché, modélisation de risques).

  • TANAKA Shoma
    MIE University

  • LEVINSON Nanette
    American University

    Gouvernance de l'Internet

  • RODRIGUEZ Luis
    San Francisco

    Evaluating the application of Coccinelle to help further automate backporting of the Linux kernel.

  • TIAN Yuan

  • ROHAL James

  • PESNEAU Pierre
    Université Bordeaux 1

    Réunion de Travail avec Pierre FOUILHOUX

  • MACIEL KOSMALSKI COSTA Luis Henrique
    Universidade Federal do Rio de Janeiro, Brésil

    Réseaux sans fil et véhiculaires.

  • GITTENBERGER Bernhard

  • WANG Shengrui
    Université de Sherbrooke, Canada

    Apprentissage statistique
    Data mining
    Recherche d'information
    Réseaux sociaux et Web

  • HAUENSTEIN Jon

  • VALLE Eduardo

    Local descripter machine maschting for image identification

  • TANG Mingsheng
    National University of defense technology

    Société artificielle et language de modélisation

  • LO David

  • NALDI Simone
    Université de Toulouse" Institut national des sciences appliquées de Toulouse.

    "Algorithmes de la géométrie réelle pour la théorie du contrôle".

  • RODRIGUES Luiz Antonio
    universitade federal do parana

    Distributed Mutual Exclusion

  • MORO Nicolas

    Stratégie de sécurisation de code embarqué

  • DE SOUZA COUTO Rodrigo
    Universidade Federal de Rio de Janeiro

    Design topologique des réseaux de data-center

  • ROCHA JIMENEZ VIEIRA Fabio

    maille roteament et intelligent accès Internet grand public

  • AMOUROUX Edouard

  • DONVAL Brice
    UPMC

    Simulation multi agents

  • JEZ Lukasz
    Sapienza University of Rome

    L’équipe recherche opérationnelle invite Lukasz Jez du Lundi 16 septembre au
    vendredi 27 septembre 2013 à travailler avec Christoph Dürr et Spyros Angelopoulos.
    Concrètement nous allons travailler sur le problème de couplage en ligne sur la ligne,
    où initialement il y a des serveurs à chaque positition entière, et des requêtes arrivent
    en ligne à des positions entières, qu’il faut coupler à des serveurs. Le but est de
    minimiser la distance totale entre les couples.

  • MEJRI Naourez
    ENSI Tunis

    Optimisation d'affection des parkings aux véhicules

  • TANG Ping

  • MIYOSHI Takumi
    Shibaura Institute of Technology College of Systems Engineering and Science Department of Electronic Information Systems

    Computer system network ,Communication/network engineering ,Keywords for Research Field Network Internet Protocol Multimedia.

  • SILVERSTON Thomas
    Université de Tokyo

    collaboration avec le JFLI et l'université de Tokyo

  • NGUYEN Kim Thang
    IBISC Université d'Evry

    algorithmique en ligne
    clé 10642 rendue par C. Dürr au service des clés

  • IBRAHIM Yusra

  • ÖZKAN Burcu
    Koc University

    Verification of concurrent programs

  • JABBARI Bijan
    George Mason University 4400 University DriveFairfax, VA 22030-4444

    Professor, ECE Dept., MS-1G5

  • DUARTE Otto Carlos
    UFRJ

  • BRUGUERA Javier
    Université Santiago de Comos

  • MOVAHEDI Zeinab
    Université de Téhéran

    Sur la confiance dans les réseaux sans fil mobiles autonomiques.

  • FONSECA Mauro
    Pontifícia Universidade Católica do Paraná – PUCPR – Curitiba –PR - Brasil

    Etude de la géo-localisation 3D des tags RFID

  • CAMPISTA Miguel
    Université de Rio de Janeiro

    thématiques de réseaux sans fil

  • PUICA Mihaela-Alexandra
    Université polytecnica de bucarest

    Perform Théoretical approaches and experiments in the field of intelligent agents

  • OBRADOVIC Darko
    Université de Delft

  • YAP Chee

  • GUÍÑEZ Flavio
    Universidad de Chile

    Problème de tomographie discrète

  • ZHI Lihong
    Academie des Sciences, Chine

    Calcul Formel

  • SCHWEITZER Pascal
    ETH Zurich

    Algorithmes en ligne

  • STURMFELS Bernd
    L'université de Californie Berkeley

    Computational Algebraic Geometry, Combinatorics, Commutative Algebra,
    Algebraic Statistics, and Computational Biology

  • GITTENBERGER Bernhard

  • MAILLER Cécile

  • MEGHERBI Ourida
    Université de Tiziouzou

  • NEJI Mohamed
    UPMC - Ecole d'Ingénieur

  • CONATI Cristina
    THE UNIVERSITY OF BRITISH COLUMBIA, Canada

    My goal is to integrate research in Artificial Intelligence, Cognitive Science and Human Computer Interaction to make complex interactive systems increasingly more effective and adaptive to the users' needs. In particular, my areas of interest include Intelligent Learning Environments, Adaptive Interfaces and probabilistic and decision theoretic methods for User Modeling. I am currently working on extending the range of user's features that can be captured in a computational user model from purely cognitive features (knowledge, goals, preferences), to meta-cognitive skills (such as learning capabilities), personality traits and emotional reactions, in order to widen the spectrum of information that an interactive system can use to adapt its behavior to a user's needs.

  • PAIGE Richard
    University of York

    Software Engineering

  • NITA Bogdan
    Université polytecnica de bucarest

    Augmenting context awareness with social context

  • KARECHE Sarah
    Université M. BougueraBourmerdes Algérie

    Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne

  • MASCARDI Viviana
    DIBRIS, University of Genova, Via Dodecaneso 35, 16146 Genova, ITALY

    Visit to discuss our common research interests on Analysis, Design and Validation of Multi-Agent Systems (MAS), to make a plan for joint projects and publications, and to start working on them.
    Attendance to the workshop organized by Professor Amal El Fallah Seghrouchni with Professor Shinichi Honiden, Deputy Director General of the Japanes National Institute of Informatics (NII) and Professor at the University of Tokyo, on MAS-related issues.

  • PLANTARD Thomas
    University of Wollongong

    Cryptographie

  • PERROS Harry

  • OUEDRAOGO Tounwendyam Frédéric
    Université de Ouagadougou

  • HAZIR Oncu
    Université de Ted (Ankara)

    Ordonnancement et chaines logistiques

  • SPAENLEHAUER Pierre-Jean
    University of Western Ontario

    Solving multihomogeneous and determinantal systems Algorithms - Complexity - Applications

  • COLETTI Giulianella
    Université de Perugia (Italie)

    Gestion des incertitudes pour l'aide à la décision. Méthodes probabilistes et Théorie de l'information.

  • CANCELLIERE Rossella

  • KEREM Bulbul

  • SEN Halil

  • LENNERSTAD Håkan

  • WANDERLEY MATOS DE ABREU Thiago
    Laboratoire de l'Informatique du Parallélisme (LIP)
    École Normale Supérieure (ENS) de Lyon

    Dans le cadre des études sur les réseaux des substitutions, assurer une qualité de service (QdS) devient fondamental pour la réussite de ce type de réseau. Dans ma recherche, je travaille sur les mécanismes nécessaires pour prévoir la valeur de débit maximale et du temps de service dans un système avec N nœuds, de façon que l'opérateur du réseau soit capable d'assurer une QdS satisfaisante pour un certain nombre de clients.

  • THERIAULT Christian

  • LAGE Ricardo
    Université Aalborg - Danemark

  • NGUYEN Nhan
    Chalmers University of Technology, SWEDEN

    Concurrent data structures, non-blocking synchronization, transactional memory, garbage collection, Java memory management

  • AROUS Mokdad
    Université Mentouri (Constantine)

    Evaluation de performances des systèmes distribués .

  • HADDADOU Kamel

  • DAB Boutheina
    Ecole Nationale des Sciences de l’Informatique (ENSI), La Manouba, Tunisie

  • ARFI Farid
    Université de Constantine (algérie)

    Chercheur (modelisation vérification de systèmes répartis)

  • KASSAR Meriem
    Tunisie

  • KONO Kenji
    Departement of Information and computer Science, University Keio

    Operating systems, Internet security, distributed and parallel systems, programming language systems

  • EHRENHOFER Adrian Alexander

    Validation numérique d'applications en mécanique des fluides

  • TABIB Nacer
    Université de CONSTANTINE - financement complet
    Doctorant, thèse d'université (3ème cycle)

    Travail de thèse - collaboration entre le professeur D-E SAIDOUNI DU LABORATOITE misc de CONSTAINE 2 et J-M ILIE du LIP6

  • SANTANCHÈ André
    Unicamp – Campinas University

    Working meetings concerning our joint research

  • SEN Halil

  • KEREM Bulbul

  • DÉMOULINS Clément
    ENS-Cachan/CNRS

    Projet CosyVerif avec le LSV ENS-Cachan et le LIPN Paris 1

  • LAGE Ricardo
    Université Aalborg - Danemark

  • MAIGNÉ Pascal

  • OLARU Andrei
    niversité Polytechnique
    Département des Sciences computationnelles
    Bucarest

  • YOKOYAMA Kazuhiro

  • PHUNG Chi Dung
    VNU Hanoi, Vietnam

    Virtual Machine Mobility with LISP

  • SVIRIDENKO Maxim
    University of Warwick

  • KSONTINI Feirouz
    INRETS

    Modélisation du trafic routier et SMA

  • FEVRIER Loic
    ENS Cachan

    Outils pour l'aide à l'enseignement de l'informatique

  • BEZAHAF Mohamed el Mehdi
    University of Mancherster

  • MURATET Mathieu
    Université Paul Sabatier (UPS)

    play and Cure
    présent à 20%

  • KONONOV Alexander

  • HOURBRACQ Matthieu
    UPMC

    Inférance dans les réseaux CREDAUX

  • BOURGUET Vincent
    Universite Federale de Rio Grande do Norte

  • MARCHEGGIANI Diego
    Institut ISTI - CNR

  • BOUBAKIR Mohamed
    Université de M'sila en Algérie

  • ALMEIDA Rui Jorge
    Université Erasme de Rotterdam

  • KOZIK Jakub

  • TSCHUDIN Peter Senna

  • BULYGIN Stanislav
    TU DARMSTADT

  • GRÈVE Fabíola
    UFBA - Université Féderale de Bahia

    Tolérance aux fautes sur les réseaux dynamiques

  • PERROS Harry

  • BÉRUBÉ Jean
    Standards Council of Canada

    Réunion ISO/IEC

  • LEE Dan
    KATS

    ISO/IEC

  • THORY Pierre
    AFNOR

    ISO/IEC

  • ROUSKAS George
    North Carolina State University

    Ses activités de recherche comprennent :

    -réseaux optiques
    -optimisation dans les réseaux
    -internet et applications
    -minimisation d'énergie dans les réseaux
    etc...

  • JIANG Hao
    National University of Defense Technology, Changsha, China

    arithmétique des ordinateurs

  • ALMEIDA Rui Jorge
    Université Erasme de Rotterdam

  • CHEIKH Mohamed
    Maître assistant à Skikda

  • AIT SAADI Nadjib
    INRIA

    Goldfish

  • BEZZINA Amira
    ENSI Tunis

    Coopération au projet PHC-Utique

  • OSPINA Mercy
    Université Central du Vénézuela à Caracas

  • SARR Idrissa
    Université Cheikh Anta Diop de DAKAR

  • ABI HAIDAR Alaa
    UPMC - I3 « Immunologie-Immunopathologie-Immunothérapie »

  • CHENG Jinsan
    Academie des Sciences, Chine

    Calcul Formel

  • AYARI Mouna
    ENSI Tunis

    Coopération au projet PHC-Utique

  • LUNGU Valentin
    Université politehnica de Bucarest

    A framework for the development of intelligent virtual characters with affective behaviour

  • AOUDIA Lamia
    USTHB d'Alger

    Connectivité de certain polyedres combinatoire

  • BAMPAS Evangelos
    UPJV (Amiens)

    Réseaux de robots, réseaux P2P

  • DUARTE Otto Carlos
    UFRJ

  • BEN CHEIKH Ahlam

  • MEJRI Naourez
    ENSI Tunis

    Optimisation d'affection des parkings aux véhicules

  • CHATTERJEE Krishnendu
    IST Austria ; Klosterneuburg 3400, Austria

    Stochastic game theory, Probabilistic model checking, Game theory, Logic and Automata Theory, Quantitative theory of verification

  • SEDDIKI Manel
    Université des Sciences et de la Technologie Houari Boumediene

    Partage de données dans les reseaux mobiles ad hoc

  • LIN Dongdai
    SKLOIS, Institute of Software, Chinese Academy of Sciences
    No. 4, South Fourth Street, Zhong Guan Cun, Haidian District, Beijing 100190, China

  • ZHI Lihong
    Academie des Sciences, Chine

    Calcul Formel

  • GAO Xiaoshan
    Academie des Sciences, Chine

    Calcul Formel

  • KALTOFEN Erich

  • LI Wei

  • SUN Yao

  • WANG Dingkang

  • ZHANG Yang

  • BRACONO VELLOSO Pedro

    Trust in Collaborative Networks

  • REJEB Lilia
    Université de Sousse (Tunisie)

  • MILIS Ioanis

  • BOUSBIA Nabila
    Ecole nationale supérieure d'informatique Alger

  • KARECHE Sarah
    Université M. Bouguera
    Bourmerdes Algérie

    Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne

  • HOLLISTER James
    University of central Florida

    IRES Grant

  • BOROS Endre
    Rutgers University, New-Jersey, USA

    Discrete optimization, integer programming, game theory and combinatorics, enumeration methods and data mining

  • SEFRIOUI Imane
    Faculté des sciences et techniques de Tanger

  • GUÍÑEZ Flavio

    Problème de tomographie discrète

  • SIINHA Arun Kumar
    Université de Genova - Italy

    Designe and developpement of influencecirculity for Tactille sensors

  • GANDINO Filippo
    Polytechnique DI Torino

  • MANAA Adel

  • PLAN Albert
    Université de Girona (Espagne)

    clé rendue le 14/05/14 n°9154

  • AROUS Mokdad
    Université Mentouri (Constantine)

    Evaluation de performances des systèmes distribués .

  • NGUYEN Nhan

  • SATO-ILIC Mika
    University of Tsukuba, Japon

    She is one of the first to combine data mining, machine learning, and computational statistics to create a new tool to handle the latent structure of today’s vast and complex data from both the perspective of engineering and statistics.

  • CANCELLIERE Rossella

  • DELVENNE Jean-Charles
    Université Catholique de Louvain
    Department of Applied Mathematics
    Belgique

    large graphs and networks
    Markov chains
    information theory and control
    distributed systems and control
    dynamical systems, decidability and Turing universality

  • NOGUEIRA LIMA Michèle
    Universidade Federal do Paraná

    La fiabilité des réseaux informatiques

  • HAEUSLER Edward
    PUC Rio

  • BRLEK Srecko

  • KAMEI Sayaka
    Université d'Hiroshima

  • KOOGAN BREITMAN Karin
    Catholic University of Rio de Janeiro (PUC-Rio)
    (Departamento de Informática)

    Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.

  • DOUHA Djamel
    USTHB

  • STEFANOVITCH Nicolas
    UPMC

    Contributions à la résolution de problèmes d'optimisation de contraintes distribuées dynamiques à l'aide de modèles graphiques pour la coordination multiagents

  • MONTEIRO Tânia
    Universidade Federal de Santa Catarina - UFSC

    La Capacité des Réseaux sans fils - Thèse au Brésil.

  • ORERO Joseph
    Université de Jomo Kenyatta

  • HANZALEK Zdenek

  • CHENG Jinsan

  • SANTOS SOARES Liziane
    Université Fédérale de Viçosa

    Une approche pour une sélection de modèle architectural

  • HOTTE Richard
    Université du Quebec à Montreal/tluq

    Technologie de l'information

  • GOLSENNE Matthieu
    UPMC

  • BENMERZOUG Djamel
    Université Mentouri de Constantine

    Formalisation des interactions dans les systèmes collaboratifs

  • CHAPOUTOT Alexandre
    ATER Paris 6

    Analyse statique par interprétation abstraite de modèles Simulink

  • MARFISI SCHOTTMAN Iza
    INSA-Lyon

  • ZHAO Shuji
    Cergy Pontoise ETIS Cergy

    Catégorisation par le Contenu Sémantique d'Objets Vidéo : Recherche et Reconnaissance d'Acteurs dans les Films

  • VÁSQUEZ PÉREZ Óscar Carlos
    Ecole Polytechnique

    Minimisation de l'énergie et conception d'algorythme sur la base de théorie des jeux

  • JAIME Sichman

  • REYES Carolina
    Institute of Telecommunications, Vienna University of Technology, Autria

    Distributed Subspace Tracking Algorithms (sensor network)

  • BENEA Marius-Tudor
    Université polytechnique de Bucarest
    Master UPMC IAD Erasmus

    Working at the CLAIM project

  • AKNINE Samir
    Université de Lyon

  • ZOIS Georgios
    Athene University economics and business

    Theoretical Computer sciences

  • OISHI Shin'ichi
    Waseda University
    Faculty of Science and Engineering
    Department of Applied Mathematics
    3-4-1, Okubo, Shinjuku-ku
    Tokyo 169-8555
    Japan

    Le Professeur Sin’ichi Oishi est un des grands spécialistes en validation numérique et en calcul certifié.
    Il a proposé de nombreux algorithmes permettant de calculer précisément et avec des bornes d’erreurs certifiées la solution de nombreux problèmes (sommation, produit scalaire, résolution de systèmes linéaires, etc.). La validation numérique est une des thématiques principales de recherche de l'équipe PEQUAN (Performance and Quality of Numerical Algorithms) du département CalSci (Calcul Scientifique) du laboratoire LIP6.
    Il avait d'ailleurs co-organisés un séminaire Dagsthul sur la validation numérique dans lequel plusieurs membres de l'équipe PEQUAN avaient été invités.
    La visite du Prof. Oishi permettrait en particulier de préparer la soumission d'un projet Égide Sakura financé par conjointement par la JSPS (Japan Society for Promotion of Science) et le ministrère des affaires étrangères français. On envisagera aussi la soumission d’un projet ANR France-Japon financé conjointement pour l’ANR et la JST (Japan Science and Technology Agency).

  • IBARRA Omar
    Universitad autonoma de Nuevo Leon
    Nuevo Leon Mexico

    Résolution de problèmes de tournées (collaboration avec Yasmin Rios)

  • FERNANDEZ ANTA Antonio
    Institute IMDEA Networks

    Thème de recherche : Systèmes et algorithmes répartis pour environnements dynamiques

  • HOLLISTER James
    Doctorant à l'University of central florida

    Etude de l'utilisation des réseaux bayésiens pour la simulation d'avatars interactifs

  • JEẓ Łukasz
    université de Institute of Computer Science, University of Wrocław, 50-383 Wrocław, Poland

  • PREGUIÇA Nuno
    FCT / Universidade Nova de Lisboa

    Distributed Systems

  • SOBOT Robert
    University of Western Ontario
    Electrical and Computer Engineering
    1151 Richmond Street
    London, ON
    Canada N6A 5B9

    Prof. Sobot research deals speci fically with mixed-signal integrated circuit theory, design and implementation issues, which are correlated with other disciplines such as biomedical, physics, robotics, earth and space sciences. It is goal of his research to further explore the opening possibilities at the borderlines between the field of integrated circuit design and these interdisciplinary fields and make contributions that will lead into novel electronic systems and are meant to enhance human lives and well-being in general.

    Integral part of the research is supervision of graduate students who are serving as research assis-
    tants in his research laboratory. As of August 20 2010, his research group consists of two Ph.D.
    students, three M.E.Sc. students, and one NSERC Undergraduate student, while three M.E.Sc. and
    one M.Eng. students already graduated. In addition, 14 undergraduate students worked on their
    respective projects under his supervision.

    His research activities include: "Behavioural modelling of mixed-signal systems", "Analog IC Design", "RF Microelectronics", and "Analog Circuit Design Techniques at 0.5V" and "Communication Electronics".

    Public service work consists, mostly, of participation in academic committees and supporting work
    for number of conferences and scienti c journals.

  • PONTARELLI Salvatore

    Use of Redundant Residue Number Systems for Fault Attack Resistant
    Elliptic Curve Cryptography

  • HONG Hoon
    North Carolina State University

  • REJEB Lilia
    Université de Sousse (Tunisie)

  • GRED Vladimir
    Laboratory of Information Technologies (LIT)
    Joint Institute for Nuclear Research (JINR)
    Russie

  • LECUN Yann André
    The Courant Institute of Mathematical Sciences
    New York University
    715 Broadway, New York, NY 10003, USA

    He proposed an early version of the backpropagation learning algorithm, the most popular learning algorithm for neural networks (1985).
    He developed a record-breaking system for detecting human faces in images. This was used as the key technology for Vidient’s “Smart Catch” automated video surveillance system (2003).
    His recent work includes: structured models real-estate price prediction, new methods for predicting epileptic seizures from EEG up to 1 hour in advance, unsupervised learning methods for object detection and recognition
    in images.
    Over 140 technical publications, and 14 US patents.

  • GRÈVE Fabiola
    UFBA-Université Fédérale de Bahia

    Tolérance aux fautes sur les réseaux dynamiques

  • HAJJAR Mohammad
    Université Libanaise

  • CANCELLIERE Rossella

  • SVARTZ Jules
    ENS de CACHAN

    Calcul formel

  • BOUSTIL Amel
    Université de Boumerdes Algérie

    Thèse en Algérie Recherche libre pour finir une thèse de doctorat algérienne

  • CHRISTOPHIDES Vassilis
    Université de Crète
    Heraklion
    Grèce

    Databases and Web Information Systems: XML/RDF Storage and Indexing Schemes, Semantics-aware Data Models and Query Languages, Heterogeneous Information Integration, Change Management, Graphical Query Interfaces.
    Digital Libraries: Personalization and Preference Management, Peer-to-Peer Data and Knowledge Management Systems, Publish/Subscribe Systems, Graph Mining and Power Laws.
    Scientific Systems: Workflow Management Systems, Description and Composition of e-services, Data Provenance and Annotation Management.

  • TAKESHI Ogita

  • BRANDWAJN Alexandre
    University of California at Santa Cruz

    Evaluation de performances de systèmes informatiques et réseaux

  • HERMAN Ted
    Univ. of Iowa

    Sensor Networks, Robot Networks, Self-stabilization

  • BENEA Marius-Tudor
    Université polytechnique de Bucarest
    Master UPMC IAD Erasmus

    Working at the CLAIM project

  • DUTEIL Mathieu
    Ecole Supérieure de Cognitique de Bordeaux

    Réalisation d'un langage de définition d'assistant à la manipulation de robots.

  • VITERBO José
    puc rio Université

    Projet Campus

  • DJAOUIDA Dahmani
    Université Houari Boumediene à Alger

    Vérification des systèmes concurrents dynamiques

  • BEN SALEM Ala Eddine
    EPITA

    Collaboration avec le LRDE sur l'outil SPOT

  • LIU Shubing
    NHI Shenyang Heavy Machinery Group.Co.Ltd

    Exraction de thématiques à partir de textes - études de l'évolution de ces thématiques dans le temps - application à la veille technologique

  • HAEUSLER Edward
    PUC Rio

  • MARTIGNON Fabio
    Université de Bergame

    Réseaux wireless mesh, routage

  • RIOBOO Renaud
    ENSIIE

    Sémantique logique calcul formel

  • SHAFEI Bilal
    An-Najah National University

    Projet de partenariat dans le cadre d'un appel d'offre du Consulat Général de France à Jérusalem sur la création d'une bibliothèque virtuelle

  • SAWMA Gilbert
    LIP6 - Phare

    Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi

  • JAMALI Nadeem
    University of Saskatchewan

    Multi Agent

  • LÉON LUNA Claudia
    Université Centrale du Venezuela

  • LAWALL Julia
    Université de Copenhague

    Transformation de programme

  • GRÈVE Fabíola
    UFBA - Université Féderale de Bahia

    Tolérance aux fautes sur les réseaux dynamiques

  • KIENNERT Christophe
    Ethertrust

    Sécurité - carte à puce

  • MARIE Estelle
    Ethertrust

    Sécurité - carte à puce

  • BETIRAC Michel
    Ethertrust

    carte à puce

  • CANCELLIERE Rossella

  • HACHICHI Assia

    Maintenance des invariants de conception

  • HWANG Hsien-Kuei
    Institute of Statistical Science, Academia Sinica, 115 Taipei

    Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.

  • OGRYCZAK Wlodzimierz
    Warsaw University of Technology

    Theoretical research, computer solutions and interdisciplinary applications in the area of Operations
    Research, Optimization and Decision Making with the main stress on
    - Multiple criteria analysis and decision support,
    - Decision making under risk,
    - Linear, network and discrete programming,
    - Location and distribution problems,
    - Computer implementations.

  • RIOS SOLIS Yasmin Agueda
    Université de Monterrey au Mexique

    Collaboration recherche

  • ZHI Lihong
    Academie des Sciences, Chine

    Calcul Formel

  • NDIAYE Samba

  • HARKOUKEN Kenza
    Université de Paris 13

    Etude de la modélisation sémantique d'un environnement urbain

  • AVILA Sandra
    Université Fédérale de Minas Gerais

  • PLANTARD Thomas
    University of Wollongong

  • KAIHARA Marcelo
    ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE

  • CANCELLIERE Rossella

  • GUERRA HERNANDEZ Alejandro
    Université de Veracruz mexique

  • GRIGORI Daniela
    UNIV VERSAILLES

  • PEREIRA Wilmer
    Université Simon Bolivar Vénézuela

    Multiagent, robotique et réseaux informatiques

  • MOROZ Guillaume
    IRCCyN,

    ANR siropa

  • SIMO KANMEUGNE Patrick
    Université de Lyon 2

    IA Navigationnelle

  • VANGJEL Endri
    Oberthur

    Cryptographie

  • BEN-EL-KEZADRI Ryad
    ENSI - Tunisie

    Synchronisation des réseaux WIFI

  • KANCHANASUT Kanchana
    Asian Institute of technologyBangkokThailand

    Constraint - Based Programming Languages.
    Real-time Systems. Computer Networking Applicatons.

  • DUARTE Otto Carlos
    UFRJ

  • GAO Xiaoshan
    Academie des Sciences, Chine

    Calcul Formel

  • CHENG Jinsan
    Academie des Sciences, Chine

    Calcul Formel

  • ZHI Lihong
    Academie des Sciences, Chine

    Calcul Formel

  • GUO Feng
    Academie des Sciences, Chine

    Calcul formel

  • RAMALHO Geber
    Universidad Federal de Pernambuco

    Sujets de Recherche
    ------------------------------
    • Systèmes multiagents
    • Apprentissage automatique
    • Informatique musicale
    • Jeux video

    Projets et activités de recherche
    -----------------------------------------------
    • Coordinateur du coté brésilien du projet ARCUS - Systèmes multi-agents et nouvelles applications informatiques en coopération avec le LIP6 (2006-2008)
    • Coordinateur du coté brésilien du projet CAPES-CUFECUB (UFPE - Université Paris VI) (2001-2004) intitulé « Techniques d’apprentissage et d’adaptation pour les logiciels de commerce, de jeu, et de recherche sur internet »
    • Consultant ad hoc pour évaluation de projets pour ANR (France), FINEP, CNPq, CAPES.
    • Participation de 14 projets de recherche nationaux, dont 8 comme coordinateur, financés par des agences officielles telles que le CNPq et la CAPES
    Projets et activités d’innovation
    • Coordinateur national du Réseau Brésilien de Visualisation (RBV), implicant dizaines d’universités et entreprises (2005-2008) ;
    • Coordinateur national de la branche “simulation et jeux” de la RBV, depuis 2006.
    • Participation de 14 projets d’innovation, dont 12 comme coordinateur, auprès des PME locales, implicant un total d’investissement de plus de 6 millions d’euro (1999-2009);
    • Consultant pour divers grandes entreprises telles que IBM (1999-2001), Motorola (2001-2003), LG (2004), Nokia (2004), Globo (2005).
    Autres activités académiques/administratives
    • Coordinateur national du Groupe Spécial en Jeux-vidéo et divertissement numérique de la Société Brésilienne d’Informatique (2007-2008)
    • Coordinateur national du Groupe Spécial en Intelligence Artificielle de la Société Brésilienne d’Informatique (2002-2004) ;
    • Coordinateur national du Groupe Spécial en Informatique Musicale de la Société Brésilienne d’Informatique (2001-2002 et 1997-1999);
    • Responsable des « groupes spéciaux » d’intelligence artificielle (2002-2004), informatique muscale et « digital entertainment » de la Societé Brésilienne d’Informatique.
    Publications en générale
    - 4 ouvrages édités
    - 4 chapitres dans des ouvrages, plus organisation de 3 ouvrages
    - 11 publications en revues, dont 3 brésiliennes
    - 54 publications à des colloques internationaux avec comités de lecture
    - 79 publications à des colloques brésiliens ou latino-américan avec comités de lecture

  • HEISER Gernot Alexander
    University of New South Wales, Australie

    Systèmes d'exploitation micro-noyau, vérification de composants logiciels

  • ANTÃO Samuel

    Hardware Design, Cryptographic Systems, Arithmetic Systems

  • CHERRAT Loubna
    Faculté des Sciences et Techniques de Tanger - Maroc

    Intégration de données hétérogènes distantes

  • EZZIYYANI Mostafa
    Faculté des Sciences et Techniques de Tanger - Maroc

    Systèmes d'information

  • KARECHE Sarah
    Université M. Bouguera
    Bourmerdes Algérie

    Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne

  • OSTERWEIL Leon
    Laboratory For Advanced Software Engineering Research
    Computer Science Department
    140 Governors Drive
    University Of Massachusetts
    Amherst, MA 01003 USA

    My research focuses on defining languages that can support defining processes sufficiently precisely that they can be subjected to rigorous analysis. My group has defined the Little-JIL process definition language. With L.A. Clarke and G.S. Avrunin I have shown that processes defined in Little-JIL can be subjected to finite state verification and fault tree analysis, and can be use to create discrete event simulations. These processes are from domains such as healthcare, elections, and negotiation.

  • CLARKE Lori
    Laboratory For Advanced Software Engineering Research
    Computer Science Department
    140 Governors Drive
    University Of Massachusetts
    Amherst, MA 01003 USA

    My research focuses on developing techniques to support the production and maintenance of complex systems. With colleagues, I have developed FLAVERS, a static analysis tool that uses data-flow analysis techniques to verify user-specified properties. FLAVERS automatically creates a concise, but perhaps imprecise, model of the software system and then allows users to selectively improve the accuracy of the program model as needed to improve the accuracy of the results. The PROPEL system complements FLAVERS, and other event-based verification systems, by helping users elucidate the details of the properties to be proven. PROPEL allows users to simultaneously view and construct properties from templates represented as question trees, natural language phrases, or extended finite-state automata. Recently my work has focused on analyzing process models, written in the Little-JIL process definition language, and on applying techniques originally designed for analyzing software systems to these models. This has lead to some interesting results on process improvement in domains such as medicine, scientific workflow, and digital government.

  • RUBRICHI Stefania
    Universita degli studi di pavia

  • QIN Shaowen
    Flinders University, Adelaide, AustraliaSchool of Computer Science, Engineering and MathematicsGPO Box 2100, Adelaide 5001, South Australia

    Shaowen's current research interests include problem identification and design optimisation of complex processes and socio-technical systems through modeling and simulation; and uncertainty management and decision support methodologies for software engineering and hospital care capacity planning.

  • MOCKAPETRIS Paul Vincent
    Université of Californie, Irvine
    CA UAS
    NOMINUM
    Redwood City C.A
    USA

    Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de
    l' Internet des objets

  • KATABI Dina
    MIT Computer Science & Artificial Intelligence Lab
    32 Vassar Street, 32-G936
    Cambridge, MA 02139
    USA

    primary research goal is to build new protocols and architectures that improve the robustness and performance of computer networks, on wireless networks, network security, traffic engineering, congestion control, and routing, on advanced mathematical models to deliver practical network solutions, and have a particular interest in adapting tools from various fields of applied mathematics such as control theory, coding theory, and machine learning to solve problems in computer networks.

  • KELLER James
    University of Missouri-Columbia
    College of Engineering
    Electrical and Computer Engineering Department
    323 Engineering Building West
    Columbia, MO 65211-2060
    USA

    His research interests include computer vision, pattern recognition, fuzzy set theory and fuzzy logic, fractal geometry, and neural networks. He has been funded by several industrial and government institutions, including the Electronics and Space Corporation, Union Electric, NASA/JSC, the Air Force Office of Scientific Research, the Army Research Office, and the Office of Naval Research. Dr. Keller has coauthored over 150 technical publications.
    Editor-in-Chief of the IEEE Transactions on Fuzzy Systems, an Associate Editor of the International Journal of Approximate Reasoning, and on the editorial board of Pattern Analysis and Applications, Fuzzy Sets and Systems, and the Journal of Intelligent and Fuzzy Systems. Co-author of a book "Fuzzy Models and Algorithms for Pattern Recognition and Image Processing", Kluwer Academic Publishers, 1999.
    He is an IEEE fellow, IFSA fellow, IEEE Fuzzy Systems Pioneer Awardee.

  • VIOLA Alfredo
    Université de la République Montevideo
    Uruguay

    Analyse d'algorithme et génération aléatoires

  • MARTINEZ Conrado
    Université polytechnique de Catalogne à Barcelone

    Analyse d'algorithme et génération aléatoires

  • MOCKAPETRIS Paul Vincent
    Université de la Californie du Sud

    Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l' Internet des objets

  • DELPORTE Julien
    LITIS

  • LUST Thibaut
    Laboratory of Mathematics and Operational Research
    Faculté Polytechnique de Mons

  • RUMP Siegfried
    Hamburg University of Technology

    arithmétique des ordinateurs et validation numérique

  • NAVAS Juan
    France Telecom (UBO de Bretagne)

  • SUREDA GUTIERREZ Carlos

  • KOOGAN BREITMAN Karin
    Catholic University of Rio de Janeiro (PUC-Rio)
    (Departamento de Informática)

    Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.

  • ARFI Farid
    Université de Constantine (algérie)

    Chercheur (modelisation vérification de systèmes répartis)

  • AYARI Mouna
    Université de Monastir

  • PANAGIOTOU Konstantinos
    University of Munich, Theresienstrasse 39, 80333 Munich, Germany

    Structures discrètes aléatoire, Analyse d'algorithmes

  • MULLINS John
    École Polytechnique de Montréal

    Travail avec Mathieu Sassolas pour la thèse

  • MACIEL KOSMALSKI COSTA Luis Henrique
    Universidade Federal do Rio de Janeiro, Brésil

    Réseaux sans fil et véhiculaires.

  • VU Huyen-Trang
    LIP6

    Notre travail de recherche se positionne dans le contexte de l'évaluation de la performance des systèmes de recherche d'information (SRI), et concerne plus précisément le problème crucial du passage à l'échelle du corpus d'évaluation. L'acquisition des jugements de pertinence nécessite des efforts humains fastidieux. Il faut alors d'une part sélectionner les documents à juger, et d'autre part choisir des protocoles d'évaluation qui facilitent le travail de l'expert humain, avec la contrainte de conserver une évaluation fiable.

  • KOOGAN BREITMAN Karin
    Catholic University of Rio de Janeiro (PUC-Rio)
    (Departamento de Informática)

    Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.

  • WEST Julian
    Université de Victoria

    Combinatoire des permutations

  • KLAI Kais

  • BEEKMAN Raphaël

  • ZHU Jun
    National University of Defence technology (Changsha)

    Verification of protocols for reliability

  • VON ZUR GATHEN Joachim
    : b-it (Bonn-Aachen International Center for Information Technology)
    Dahlmannstr. 2
    D-53113 Bonn
    Germany

    Computer Algebra : Comptage des polynômes univariés decomposables

  • IDA Tetsuo
    Université de Tsukuba
    Dpt of computer Science
    Tsukuba 305-8573, Japan

    Symbolic Computation, Rewrite Techniques, Computational Origami, Constraint Functional and Logic Programming

  • LOUGMIRI Zekri
    Université d'Oran Es- Sénia

  • OOSHITA Fukuhito
    Université d’Osaka, Japon
    1-3 Machikaneyama, 5608531 Toyonaka

    Algorithmique distribuées, tolérance aux pannes, réseaux de capteurs

  • DUARTE Otto Carlos
    Universidade Federal do Rio de janeiro

    Mobile communication, security, multicast ans Qos guarantees

  • YOKOYAMA Kazuhiro
    Department of Mathematics, Rikkyo University
    3-34-1 Nishi Ikebukuro, Toshima-ku, Tokyo
    171-8501 JAPAN

    Calcul formel, théorie galoisienne, calcul algébrique, calcul polynomial

  • HWANG Hsien-Kuei
    Institute of Statistical Science, Academia Sinica, 115 Taipei

    Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.

  • BURSTEIN Frada
    Monasch University (Australia)

    Systèmes d'aide à la décision

  • DOLEV Schlomi
    Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva 84105, Israel

    tolérance aux fautes et auto-stabilisation dans les systèmes répartis

  • DEFAGO Xavier
    Japan Advanced Institute of Science and Technology (Hokuriku, Japan), School of Information Science.

    Distributed systems and algorithms, fault-tolerance, dependability, group communication,
    failure detection, replication, self-stabilization, scalability, cooperative mobile robotics, performance evaluation.

  • MEUNIER Jean
    Université de Montréal

    contact recherche. Contact Master international

  • FEILER Peter
    Software Engineering Institute, Carnegie Mellon

    Feiler is a senior member of the technical staff at the Software Engineering Institute (SEI). He has been with the SEI for 23 years. His duties at the SEI included five years of management. His interests include dependable real-time systems, architecture languages for embedded systems, and predictable system analysis & engineering.

    Before joining the SEI, he did research and led a group in software technology at the Siemens Corporate Research and Technology Lab in Princeton, NJ. During that period he also was the system architect for the software development environment in a large-scale product development.

    Peter Feiler is the technical lead and author of the SAE AS-2C Architecture Analysis & Design Language (AADL) standard. This standard has been published in Nov 2004 as SAE document AS5506. Version 2 of the standard is going into ballot in 2008.

  • Ó CINNÉIDE Mel
    University College Dublin

    Refactoring de programmes
    Design patterns

  • RUMP Siegfried
    Institute for Reliable Computing, Technische Universität Hamburg-Harburg, D-21071 Hamburg

    Research Topics : Matrix Theory, Self-Validating Methods, Numerical Linear Algebra, Scientific Computing

  • DE ALBUQUERQUE ARAÚJO Arnaldo
    Universidade Federal de Minas Gerais –
    Computer Science Department

    Content based information (image and video)
    retrieval

  • CHRISTOPHIDES Vassilis
    University of Crete
    Heraklion, Crete
    Grèce

    Bases de données et systèmes d'information du Web.

  • VALLE Eduardo
    Université de Cergy
    ETIS

    Local descripter machine maschting for image identification

  • HÜLLERMEIER Eyke
    Department of Mathematics and Computer Science
    Philipps-Universität Marburg

  • GORI Marco
    Université de Sienne, Italie

    Apprentissage automatique
    Recherche d'information
    Modélisation utilisateur

  • COLETTI Giulianella
    Université de Perugia (Italie)

    Gestion des incertitudes pour l'aide à la décision. Méthodes probabilistes et Théorie de l'information.

  • STINCKWICH Serge
    Université de Caen

    Thématique génie logiciel pour la robotique

  • MARQUÈS I PUIG Joan Manuel
    Universitat oberta de catalumna

  • TACONET Chantal
    GET/INT, Dept INFormatique Equipe MARGE

  • CHERKAOUI Omar
    Université du Québec à Montréal (UQAM)

    - La gestion de réseaux à haut débit
    - Les réseaux autonomiques
    - La configuration de réseau
    - Les systèmes répartis

  • BENMERZOUG Djamel
    Université Mentouri de Constantine

    Méthodes et outils formels pour l’intégration d’applications d’entreprises

  • VINIOTIS Yannis
    North Carolina State University (NCSU) CS Dept. 432 EGRC
    Raleigh - NC - 27695-8206 (USA)

    La collaboration avec le professeur Viniotis, s'inscrit principalement dans le cadre des aspects liés à l'auto organisation dans les réseaux spontanés. En partilier, le travail porte sur les systèmes d'adressage et de localisation qui utilisent des espaces mathématiques multidimensionnels et des structures à des propriétes adaptatives.

  • GHARBI Nawel
    UNiversité d'alger

    Evaluation des performances de systèmes avec rappel

  • BEZALEL Gavish
    Cox School of Business, Southern Methodist University, Dallas, Texas.

    - Fraud and Trust on the Internet ; Methods used by crooks on the Internet and methods to reduce Fraud and build trust.
    - Combinatorial auctions ; their application and solution methods, the economic impact of combinatorial auctions. Combinatorial auctions in wireless spectrum allocation procedures.
    - Methods for forecasting demand when demand transactions are partially observable.
    - Distributed Group Decision Support Systems, systems which overcome the time and space limitations of traditional GDSS. The impact of anonymity on the performance of management systems.
    - The impact of the Internet and Electronic Commerce on supply chain management and organizational structures. Limits on growth the internet and the WWW.
    - Allocation of processors, data bases and processes in distributed systems, configuring distributed computer systems, dynamic data allocation and file migration, Applications of such methodologies to the Internet.
    - Stochastic modeling of search processes on the Internet.
    - Research in the field of computer communication networks (topological design and routing).
    - Production scheduling on multi-stage production processes with limited yield in each stage, for example semiconductor production processes.
    - Improving the performance of wireless communication systems.

  • MARKOV Svetoslav
    Académie des Sciences de Bulgarie
    Institute for Mathematics and Informatics
    Acad. G. Bonchev, st. block 8
    1113 Sofia (Bulgarie)

    Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
    Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).

  • MAN-TAK Shing
    Naval Postgraduate School

    Professor Shing joined the US Naval Postgraduate School in 1988 and is currently an associate professor of computer science. He works in the areas of Software Engineering, Real-Time System Modeling and Design, Software Architectures for Embedded and Distributed systems, and Engineering Automation for Dynamic Computer Based System.

    In the past, he has conducted research in search heuristics and algorithms, real-time scheduling, path planning, reengineering and object-oriented architecture design for war-game simulations and autonomous vehicle control, design and implementation of a COTS-based Automated Communications Intercept, Analysis, & DF System, design and implementation of distributed prototyping systems, and the design and implementation of platform independent graphical user interfaces for weapons systems and software tools.

  • WEHENKEL Louis
    Faculté des Sciences Appliquées
    Université de Liège (Belgique)

    Ses domaines d'intérêt concernent: l'apprentissage à base d'arbres de décision et de réseaux bayesiens, l'optimisation stochastique et l'apprentissage par renforcement, et les applications dans le domaine du contrôle, en analyse d'images, et en bioinformatique.

  • BORDINI Rafael
    Department of Computer Science Durham

  • DASTANI Mehdi
    Utrecht University - NL

  • GUERAÏCH Sonia
    Université Mentouri de Consantine
    Laboratoire LIRE

  • CROWCROFT Jonothon
    The Computer Laboratory
    University of Cambridge
    15 JJ Thomson Ave,
    Cambridge, CB3 0FD

    Marconi Professor of Communications Systems

  • ENDLER Markus
    Informatics Department, Catholic University of Rio de Janeiro (PUC-Rio)



    Research Area: Distributed Intelligent Systems
    Primary Research Interests:
    Ubiquitous and Mobile Computing
    Middleware for Context- and Location-awareness
    Mobile Agents
    Distributed Algorithms and Protocols

  • DUARTE Otto Carlos
    Universidade Federal do Rio de janeiro

    Mobile communication, security, multicast ans Qos guarantees

  • KOOGAN BREITMAN Karin
    Catholic University of Rio de Janeiro (PUC-Rio)
    (Departamento de Informática)

    Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.

  • FONO Louis-Aimé
    Département de Mathématiques et informatique,
    Faculté des Sciences, Université de Douala,
    B.P. 24157 Douala -Cameroun

  • GRÈVE Fabíola
    UFBA - université Fédérale de Bahia

    Coopération CAPES - COFECUB

  • HIOUAL Ouassila
    Doctorat
    Université Mentouri de Consantine
    Laboratoire LIRE

    Composition sémantique des prococessus d'affaire dans 1 contexte d'EBXML

  • BOUFAÏDA Mahmoud
    Université Mentouri de Consantine
    Laboratoire LIRE

  • CHERKAOUI Omar
    Université du Québec à Montréal (UQAM)

    - La gestion de réseaux à haut débit
    - Les réseaux autonomiques
    - La configuration de réseau
    - Les systèmes répartis

  • BENMERZOUG Djamel
    Université Mentouri de Constantine

    Méthodes et outils formels pour l’intégration d’applications d’entreprises

  • LAVIOLETTE François
    Université Laval

  • DE AMORIM Claudio Luis
    Computer and Systems Engineering Graduate Programs (COPPE)
    Universidade Federal do Rio de Janeiro (UFRJ)

    * Parallel and Distributed Computing
    * Mobile and Wireless Network-based Computing

  • ZURADA Jacek
    Dept.of Electrical and Computer Engineering
    Université of Louisville
    Louisville, KY 40292, USA

    Neural networks learning an intellignent systems applications.

  • MARKOV Svetoslav
    Académie des Sciences de Bulgarie
    Institute for Mathematics and Informatics
    Acad. G. Bonchev, st. block 8
    1113 Sofia (Bulgarie)

    Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
    Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).

  • BUCHS Didier
    Université de genève

    Spécifications formelles, test, prototypage

  • GOLDSMITH Judy
    The University of Kentucky, USA

    The Logic and AI Lab

    Judy Goldsmith is Professor in Computer Sciences at the University of Kentucky and member of the Logic and AI Lab. She is working on decision-support for decision-making under uncertainty with constraints. This includes knowledge elicitation software, including preference elicitation, preference aggregation, planning heuristics for factored Markov decision processes, and plan explication.

  • BUCHS Didier
    Université de genève

    Spécifications formelles, test, prototypage

  • BUCHS Didier
    Université de genève

    Spécifications formelles, test, prototypage

  • CSENDES Tibor
    Department of Applied Informatics
    University of Szeged
    H-6701 Szeged, P.O. Box 652
    Hungary

    Reliable computing, interval arithmetic, global optimization

  • CIARDO Gianfranco
    University of California at Riverside
    Department of Computer Science and Engineering
    351 Engineering Building II
    University of California, Riverside
    Riverside, CA 92521, USA

    - Formal aspects of software engineering, in particular symbolic model-checking algorithms and decision diagrams
    - Load balance and performance analysis of Web servers
    - Distributed algorithms
    - Performance, dependability, and safety evaluation of fault-tolerant and distributed computer systems
    - Specification formalisms and solution algorithms for modeling tools

  • BUCHS Didier
    Université de genève

    Spécifications formelles, test, prototypage

  • CONAN Denis
    INT

  • SANDRI Sandra
    CSIC Spanish Scientific Research Council- Barcelona

  • BECCUTI Marco
    Université d'Alexandria

    Evaluation de performance des systèmes distribués

  • BECCUTI Marco
    Université d'Alexandria

    Evaluation de performance des systèmes distribués

  • HONIDEN Shinichi
    Professor and Director,Intelligent Systems Research Division,National Institute of Informatics, Japan

    We study agent technologies as software technology for advanced network computing such as agent architecture, agent oriented software engineering, and advanced agent applications.

  • MAMDANI Ebrahim
    Imperial College
    London
    U;K;

    Commande floue, Réseaux de communication adaptatifs.
    Professor (Abe) Mamdani is well known for his research into fuzzy logic and in particular, his pioneering work on Fuzzy Control which was carried out starting in the early 70s. His other research interests include investigations on reasoning under uncertainty and knowledge based systems for industrial control. He has been actively involved with several UK industrial companies in the research and development of applications of Knowledge Based Systems. Until recently he was in the Electronic Engineering Department of Queen Mary & Westfield College of University of London. As of July 1995 Professor Mamdani has joined the Electrical & Electronic Engineering Department of Imperial College, London to take up a newly created Chair of Telecommunications Strategy and Services endowed by Nortel Networks and the Royal Academy of Engineering. Professor Mamdani is a Fellow of the Royal Academy of Engineering as well as The Institute of Electrical and Electronic Engineering. He spent two years working at the central British Telecom Research Laboratories within the Network Management Department. His work was concerned with the application of Artificial Intelligence for network management. Today his main research area is in communicating intelligent software agents and their applications to telecommunication systems. This research extends to soft computing abilities that agents must possess if they are to act intelligently within an open community of agents. He helped with the start of the ?Foundation for Intelligent Physical Agents? FIPA which is a group formed industrial organisations world-wide whose aim is to achieve minimal standards in the area of intelligent software agents. His recent work has focused on personal assistant agents that interact with users and act on their behalf to negotiate and obtain services often acting in a community of other agents. Some of this work involves research into what are called embodied agents and the importance of ?affect? in designing such agents in order to makethem believable. Trust is another closely related issue that impacts believability. This work has been carried out through a number of EU funded and UK research council funded projects.
    The purpose of his visit to LIP6 is to explore complementary know-how that exists in his laboratory at Imperial College and at LIP6 that can form a basis of future research relationship between the two. It is hoped that the visit will lead to future exchanges of people and ideas between the two groups of researchers. It is worth pointing out that Imperial College London is a premier academic institute in the UK with a strong science and technology base.

  • PAQUETTE Gilbert
    Télé-université du Québec, Montréal

    Chercheur au Centre interuniversitaire de recherche sur le téléapprentissage (CIRTA-LICEF) qu'il a fondé en 1992, Gilbert Paquette est actuellement titulaire de la chaire de recherche du Canada en ingénierie cognitive du téléapprentisage et directeur scientifique du réseau canadien de recherche LORNET.
    Titulaire d'un doctorat de l'université du Maine (France) en Intelligence Artificielle et Education, il est à l'origine de plusieurs projets de recherche-développement stratégiques dans les domaines de la modélisation des connaissances, de l'ingénierie pédagogique et de la formation à distance. Ses publications récentes incluent trois livres (2002 et 2004), sur l'ingénierie pédagogique pour l'apprentissage en réseau et sur la modélisation des connaissances et des compétences. Il est intervenu comme conférencier invité dans de nombreuses conférences internationales et participe au comité scientifique de six revues, trois en France, une aux Etats-Unis et deux au Canada. Il a aussi fondé deux entreprises, Micro-Intel (1987-1991) et Cogigraph (1999-2004) et a servi comme Ministre de la Science et de la Technologie du Québec (1982-1984).

  • LEFEBVRE Éric
    École de technologie supérieure

    Ingénierie dirigée par les modèles, évaluation d'outils se conformant à l'approche Model Driven Architecture, étude de l'approche Microsoft (Usines de logiciels), lignes de produits logicielsAnalyse de ligne de produits selon UML et selon un langage de domaines spécifique, composition de modèles, ingénierie des exigences, identification de patrons de cas d'utilisation, création d'un langage à l'intention des utilisateurs, pour générer une application à partir des spécifications des exigences.

  • HENRIQUES Pedro
    Universidade do Minho, Braga, Portugal

  • BERBERS Yolande
    KULeuven

    My research interest include the following topics: software engineering for embedded and real-time systems, model-driven architecture, middleware infrastructure, context-aware computing, ambient intelligence and ubiquitous computing, system support for distributed applications (a.o. mobile agents), distributed and parallel systems and distributed computing, multi-agent systems with emergent behaviour.

  • TORRES DA SILVA Viviane
    PUC - Brésil

  • FONO Louis-Aimé
    Faculté des Sciences - Université de Douala - Cameroun

  • SCHIPER André Félix
    Laboratoire de Systèmes Répartis (LSR)
    École Polytechnique Fédérale de Lausanne, Suisse

    * Distributed Systems, Fault-Tolerance, Replication, Group Communication
    * Selected papers
    * Publications
    * Recent Technical Reports
    * Restrospective on Group Communication (FuDiCo 2002 paper)

  • VINIOTIS Yannis

  • LUCENA Carlos
    Pontificia Universidade Catolica do Rio de Janeiro
    (PUC-Rio)
    Rio de Janeiro, Brésil

    génie logiciel des systèmes multi-agents
    génie logiciel

  • VON STAA Arndt
    PUC Rio

  • CHOREN Ricardo
    PUC Rio

  • DESSOUKY Mohamed
    Université Ain Shmas
    Départemetn électronique et communication
    1, rue El-Sarayat- 11517 Abbasia
    Le Caire - Egypte

    Outils et méthode de conception de Systèmes Intégrés Mixtes Analogiques et Numériques (SOC AMS).
    Algorithmes de synthèse électrique de SOC AMS.

  • IFTODE Liviu
    Rutgers University

    Distributed systems, Operating Systems, Embedded and pervasive computing systems, Mobile computing and networking

  • GONZALEZ Avelino
    Department of Electrical and Computer Engineering
    University of Central Florida, USA

    Développement d'un outil (pour l'armée américaine) basé sur un formalisme apelé "context-based reasoning". Nous travaillons actuellement sur un parallele entre son travail et les graphes contextuels développés au sein de SYSDEF.

  • CHELIUS Guillaume
    Projet ARES - INRIA
    Laboratoire CITI - INSA de Lyon
    Bât. Léonard de Vinci
    21, avenue Jean Capelle
    69621 Villeurbanne

    Réseaux de capteurs et réseaux ad-hoc

  • KUROSE Jim
    University of Massachusetts Amherst

    Internet protocols, multimedia communication, group communication, Quality of Service, network and operating system support for servers, and modeling and performance evaluation.

  • ROBIN Jacques
    Centro de Informatica
    Universidade Federale de Pernambuco

    Composants Logiciels
    Programmation par contraintes et logiques
    Model-driven architecture
    Agents intelligents

  • SANTORO Flavia-Maria
    UNIRIO

    Contexte et travail collaboratif

  • MARKOV Svetoslav
    Académie des Sciences de Bulgarie
    Institute for Mathematics and Informatics
    Acad. G. Bonchev, st. block 8
    1113 Sofia (Bulgarie)

    Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).

  • NÜRNBERGER Andreas
    Otto-von-Guericke-University Magdeburg (Allemagne)

    Data Mining, recherche d'information, multimedia, apprentissage automatique

  • SEBASTIANI Fabrizio
    Istituto di Scienza e Tecnologia dell'Informazione
    Consiglio Nazionale delle Ricerche
    Area della Ricerca di Pisa
    Via Giuseppe Moruzzi, 1
    56124 Pisa, Italy

    CNR Italien

    Recherche d'information
    Apprentissage automatique

  • FARWER Berndt
    Université de Hamburg

    Réseaux de Petri (objets), Model checking.

  • SCOTT Stan
    Queen's University Belfast
    Belfast BT7 1NN
    Northern Ireland
    UK

    Engineering and Scientific Application : Environmental Modelling, Scientific Computation, Finite Element Modelling and Engineering Design.

    Director of the Elsevier Science CPC International Program Library. This internet Library currently holds over 1,800 refereed computer programs which have been contributed by scientists world-wide.

  • STEMMER Marcelo
    Universitade Federale de Santa Catarina (UFSC)

    Neural Nets - Computer Vision - Pattern Recognition

  • ARAUJO Renata
    UNIRIO - Université Fédérale de Rio de Janeiro

    Modélisation du contexte dans le travail collaboratif

  • LEMAÎTRE Christian
    LANIA (Mexique)

    Sytèmes Multi-Agents

  • CROVELLA Mark

  • LALMAS Mounia
    Department of Computer Science, Queen Mary University of London, Mile End Road, E1 4NS,
    England, United Kingdom

  • CHIBA Shigeru
    Department of Mathematical and Computing Sciences, Tokyo Institute of technology
    Tokyo - Japon

    adaptation dynamique

  • VINIOTIS Yannis
    Department of Electrical and Computer Engineering
    North Carolina State University
    Raleigh
    North Carolina 27695.
    USA

  • COLOM Jose Manuel
    Departemento de Informatica Ingeniera de SistemasCentros Politecnico Superior de Ingenieros Universidad de Zaragoza C/Maria de Luna N°3Poligono Actur, 50018 Zaragoza - Spain

    J.M. Colom Piazuelo est membre du Centre Polytechnique Supérieur de l'Université de Saragosse. Il y occupe actuellement le poste de sous-directeur chargé de l'adaptation de l'Enseignement Supérieur à l'Espace Européen.
    Son thème de recherche porte sur la résolution du problème de l'allocation des ressources dans les ateliers flexibles. Son travail repose fortement sur l'utilisation des réseaux de Petri.

  • RALESCU Anca
    Electrical Computer Engineeering and Computer Science Department - College of Engineering, ML 0030- University of Cincinnati, Ohio 45221-0030 USA

  • SCHIPER André Félix
    EPLF Laboratoire de Systèmes Répartis
    CH-1015 Lausanne - Suisse

  • BRANDAO-SALGADO Ana-Carolina
    UPFE
    Caixa Postal 7851
    50732-970
    Recife PE - Brazil

    Professeur a l'Université de Pernambuco (UFPE) et Directrice du Centre d'Informatique de l'UFPE.
    Ses centres d'intérêts concernent les bases de données et se déclinent en "data integration", "data Warehouse", bases de donnés non conventionnelles (multimedia, geographique), systèmes coopératifs et "groupware", et bientôt le contexte dans les BD.

  • WANG Mingsheng

  • MIRANDA Pedro

  • ISHIDA Toru
    Department of Social Informatics Kyoto University Yoshida Honmachi SakyoKyoto606-8501 Japan

  • TAYACHI Dalila

  • RAMALHO Geber

  • RATITCH Bohdana

  • NOUALI Nadia

  • KARATSUBA Ekatherina
    Computer Centre of Ras, Vavilova 40,
    Moscou - Russie

  • DONATELLI Susanna

  • BALDI Pierre

  • SMETS Philippe

  • KREIKER Serge

  • MARKOV Svetoslav

  • ESTEVA Francesc

    Logique floue, raisonnement approximatif, similarités

  • DIB Lynda

  • ADAM Frédéric

  • LEVY Henry

  • SMETS Philippe

  • LEMAÎTRE Christian

  • SCHONBERG Edmond
    New York University

  • CHERKAOUI Omar

  • BEN NACEUR Olfa

  • SAFRA Zvi

  • BORGES Marcos

  • MAIRE Frederic

  • GIL Ana

  • LÉON LUNA Claudia

  • OMIDYAR Guy

  • DEFUDE Bruno

  • DESSOUKY Mohamed

  • MACHI Antonio

  • SOUZA FILHO Romi

  • CHIOLA Giovanni

  • LEVY Henry

  • BENKIRAN Mohamed

  • ZHANG Liannwen

  • CASTRO-ALVES Vladimir

  • SERIDI Hamid

  • COLOM Jose Manuel
    Université de Saragosse

  • GUERRAOUI Rachid

  • BOUTABA Raouf

  • DRUSCHEL Peter
    Rice University

  • LUDERMIR Teresa

  • DONATELLI Susanna

  • TURNER Roy Marvin

  • MARKOV Svetoslav

  • BARROS Flavia

  • MATWIN Stan

  • MAGNUSSON Andreas

  • BEN ABDELAZIZ Foued

  • YONEZAWA Akinori

  • LEMAÎTRE Christian

  • LÉON LUNA Claudia

  • PERROS Harry

  • SCHERSON Isaac

  • NAVEIRO Ricardo

  • ASSAF David

  • GRAU Rainell

  • SENEVIRATNE Aruna

  • NGUYEN Hung

  • VIDAL ROJAS Juan Carlos

  • BAVEYE Philippe

  • ZAMBRANO Nancy

  • MACULAN Nelson

  • SCHERSON Isaac

  • KARMOUCHE Ahmed

  • RALESCU Dan

  • MARKOV Svetoslav

  • SHENOY Prakash

  • MEZGHICHE Mohamed

  • KHALFALLAH Fédia

  • DRUSCHEL Peter
    Rice University

  • PIRLOT Marc

  • PIRLOT Marc

  • REGOLI Giuliana

  • DUARTE Otto Carlos

  • MACULAN Nelson

  • YOKOYAMA Kazuhiro

  • KALLALA Moncef

  • DRUSCHEL Peter
    Rice University

  • MARKOV Svetoslav

  • MEZGHICHE Mohamed

  • AGHA Gul

  • MESSIAR Radko

  • SCHERSON Isaac

  • ISHIDA Toru
    Department of Social Informatics
    Kyoto University
    Yoshida Honmachi
    Sakyo
    Kyoto
    606-8501 Japan

  • STEFANESCU Anton

  • PERROS Harry

  • AGHA Gul

  • MEZGHICHE Mohamed

  • DUARTE Otto Carlos

  • RUKOZ VILLEGAS Marta

  • RAMER Arthur

  • ZWAENEPOEL Willy
    Rice University

  • MARKOV Svetoslav

  • MACHI Antonio

  • SCARSINI Marco

  • COLETTI Giulianella

  • SCHERSON Isaac

 Mentions légales
Carte du site |