Previous Guests

MORO Simona
Université of Pise (Italy)

Ses travaux s'inscrivent dans la collaboration avec le Prof. Gastone Ciuti (BioRobotics Institute - Scuola Sant'Anna, Pise, Italie).
Le projet porte sur la conception d'une nouvel…

CHAKRABORTY Kaushik
INRIA

design, analysis of cryptographic protocols. Currently working on the security analysis of multi-party quantum cryptographic protocols like position based quantum cryptography, relativistic bit commit…

BAU Guillaume
Nomadic Labs

Analyse statique par interprétation abstraite de Smart contract en Michelson

QUILLIEN Astrid
Université Sorbonne nouvelle

FEGHOUL Kévin
Ikos - Levallois

Missions pour le Laboratoire LIP6 à Paris (40% - 2j/sem) :
- Initiation de la collaboration avec Nicolas Baskiotis et Vincent Guigue au travers de l’encadrement des
aspects Ma…

FOURNIER Raphaël
MC CNAM

Analyse des flots de liens

ZAHIDY Mujtaba
University of Padova

test of the hardware and implementation and realization of a CV-QKD setup

BAU Guillaume
Nomadic Labs

Analyse statique par interprétation abstraite de Smart contract en Michelson

HOLANDA FILHO Raimir
Université de Fortaleza

Recherche en Blockchain sur réseau Mesh

KERENIDIS Iordanis

En collaboration avec Eleni DIamanti

BOUILLAGUET Charles
Université de Lille

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…

ANGRISANI Armando
Universita di Roma Sapienza

BAU Guillaume

Analyse statique par interprétation abstraite de Smart contract en Michelson

DAVOUDI Ramtin
tarbiat modares university

Optimal control of non autonomous switched non linear systems via moment approach and sum of squares programming

BIAGI Gabriele
Onera, Ecole Polytechnique

CASTAGNET Cyril
CNRS

1) Identifier les applications ou bases de données qui pourraient être utilisées comme études
de cas et collecter les exigences de leur développeurs ou utilisat…

MUNCH Mélanie Érik Claire
AgroParisTech

Thèse sur Réseaux Bayésiens et Ontologies

BAHRANI Sima
Université d'Edimbourgh

Optical communications, Multiplexing and Multiple access techniques in optical networks, Optical OFDM, All-Optical OFDM, Optical Code-Division Multiple-Access, Optical Orthogonal Codes, All-Optical si…

CHAOUCHE Ahmed Chawki

Collaboration Recherche

TUPIN Florence

Traitement d'image.

HUOT Etienne
UVSQ, LATMOS

Co-encadrement thèse Aniss Zebiri

LE FRIOUX Ludovic
Sorbonne université

FALEIRO Ricardo
University of Lisbon-IST

Quantum Strategies for simple 2-player XOR games

CHARANTONIS Anastase
Université d'Evry

FILHO José Viterbo
Institut de Computaçao-

Collaboration avec Luciana Arantes et Pierre Sens sur des stratégies d'ordonnancement.

BAME Ndiouma
Université de Dakar

Collaboration UCAD/LIP6

SOKOLOV Andrii
University College Dublin

Collaboration scientifique avec l'équipe CIAN : Récupération d'énergie

BONNET François
Tokyo Institute of Technology

finaliser des articles scientifiques en cours d’écriture (réseaux de robots, analyse de jeux) et de démarrer d’autres collaborations. Il fera également un s&eac…

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 -…

HEYDARI Hasan
Université ToulouseIII- Paul Sabatier

GOUVEIA LIMA Luan Teylo
Universite fédérale Fluminense - Niteroi

VAN WIER Jeroen

quantum cut and choose

KUMAR Niraj
University of Edinburgh

quantum optics,
quantum communication,
quantum cryptography,
quantum machine learning

RIENER Cordian
Université de Tromso

COYLE Brian
University of Edinburgh

Verification of Quantum Boltzmann Machine

MOUSTROU Philippe
UiT - Thé Arctic University of Norway

Visite recherche (Mohab Safey El Din)

RAPONI Elena
University of Camerino, Italy

PhD student

VERDURE Hugues

MATHEMATIQUES

BISIAUX Pierre
Collège Dublin

DIADAMO Stephen

Quantum Information Theory
Quantum Hardware
Quantum networks

COJOCARU Alexandru
Université d’Édimbourg

Visiteur d'Elham Kashefi, intervention le 24 janvier pour faire une présentation de son travail à l'équipe quantique

FEIJÓ Bruno

Conception de jeux, agents et intelligence artificielle

POWERS Thomas
University of Delaware

YU Yi

Intelligence artificielle, apprentissage machine et musique

EL ZARKI Magda Saad
University of California, Irvine, USA

PHAM Tuan Minh
École Normale Supérieure de Hanoi

ARZANI Francesco
LKB

There are many advantages in using light to encode quantum information. Due to a relatively small coupling with their environment, decoherence is less severe on photons than other systems, and high pr…

BELOTTI Marianna

Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain

AGHABABA Hossein

https://www.researchgate.net/profile/Hossein_Aghababa

IRISSOU Thibault
College Oberlin

Clustering de code source dans le contexte du projet ANR Itrans

WANG Yujia
Northwestern Polytechnical University

Réseaux

WAGNER Markus
University of Adelaide

Evolutionary Computation

GUIFO FODJO Yvan
Faculté des Sciences de Université de Dschang Cameroun

GASTONE Ciuti
Scuola Superiore S'Anna

Chercheur

BRUNOD INDRIGO Luca
EDF R&D – Ponts Paritech

Stagiaire à EDF R&D – étudiant à l’Ecole des Ponts Paritech

TIGANE Samir
Université Med Khider, Biskra, Algérie

Exploitation des réseaux de Petri stochastique généralisé (GSPN) pour la modélisation et la vérification des systèmes reconfigurables

KAMALI Shahin
University of Manitoba

Theoretical Computer Science

LIU Jiangchao
National University of Defense Technology

Analyse et vérification des logiciels informatiques, méthodes formelles, interprétation abstraite

LE HA Duc

Travail avec Christoph Durr

PELC Andrzej
Université du Québec en Outaouais

DE LA TORRE Daniel Darian
University "Marta Abreu" of Las Villas

La radio Cognitive

SILES Irina
University "Marta Abreu" of Las Villas

La radio cognitive

GUERRA Erik
University "Marta Abreu" of Las Villas

La radio Cognitive

GARCIA Julio César
University "Marta Abreu" of Las Villas

La page cognitive

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 …

HANNOU Fatma

Un modèle et une algèbre de motifs pour la représententation et l'interrogation de la complétude de l'information relative

COLLGON Clément

Apprentissage par renforcement sur des environnements GYM/PYCO (Systèmes concurrents)

LARCHER Isabella
Université technique de Vienne

Random sampling and quantitative analysis for families of directed acyclic graphs

MUKUNOKI Daichi
Tokyo Woman's Christian University (Japon)

GITTENBERGER Bernhard
Technische Universität Wien (Austria)

Random sampling and quantitative analysis for families of directed acyclic graphs

IMAMURA Toshiyuki
RIKEN Advanced Institute for Computational Science, Kobe, Hyogo 650-0047, Japan

GANESH Vijay
University of Waterloo, Canada

IA

PLANTARD Thomas
University of Wollongong

Cryptographie

IRISSOU Thibault
College Oberlin

Clustering de code source dans le contexte du projet ANR Itrans

IAKYMCHUK Roman

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

PÉREZ Francisca
Universite San Jorge

CETINA Carlos
Universidad San Jorge

CHARON Clara
Société TERANGA

POWERS Thomas
University of Delaware

BELLEVERGUE Roméo
LMI

Optimisation combinatoire

HANNOU Fatma

Un modèle et une algèbre de motifs pour la représententation et l'interrogation de la complétude de l'information relative

FERCHICHI Olfa
Ecole Nationale des Sciences de l'informatique du Tunis

Evolution de ligne de produits dynamique

COSTA Luis Henrique
Universidade Federal do Rio de Janeiro

wireless networks, group communication, quality of service, multicast

RAHMOUNE Yasmina
Université de Constantine

Transformation et vérification des modèles

LAPEÑA Raùl
Université San Jorjé

Feature Location between Requirements and BPM Models

NATANSH MATUR Natansh
Indian Institute of technology

WANG Yacheng
University of Tokyo

LESAVOUREY Andrea
Université de Wollongong

Doctorant en thèse

ROBERTI Marco
Université de Turin

BELOTTI Marianna

Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain

UNNIKRISHNAN Anupama
Université d'OXFORD

SYLLA Khalifa
UNIVERSITE VIRTUELLE SU SENEGAL

étude de données numériques d'apprenants et réflexion sur des analyses possibles

MIRALDO Victor
Université portugal

COST EUTypes

AMOZARRAIN Ugaitz
Université de San Sebastien

En collaboration avec Pierre Sens + Luciana ARANTES
(doctorant espagnol)

NEUMANN Frank
Université of Adelaide

Randomized Search Heuristics

KHMELEVSKY Youry
OKANAGAN College

BISIAUX Pierre
Université College Dublin

Etude de résaux de PLL tout numérique sur FPGA

BLOKHINA Elena
University College Dublin (Irlande)

Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…

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 syste…

LAHIANI Karim
Sorbonne université

RYCKE Théophine de
Sorbonne Université

MIDTGAARD Jan
University of Southern Denmark

DERBYSHIRE Ellen
University of Edinburgh

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

Future interne research

CHAIB DRAA Brahim
Université Laval

Modélisation de données spatio temporelles

KECIR Karim
Université de Rennes

PÉREZ Francisca
Universite San Jorge

ZROUG Siham
Université de Biskra

Vérification formelle des réseaux de capteurs sans fils

PHAN Thi Ha Duong
Institut de mathématique du Vietnam

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

RAHMOUNE Yasmina
Université de Constantine

Transformation et vérification des modèles

ONO Osamu
Meiji University

Collaboration dans le domaine du HPC et de l'arithmétique des ordinateurs

LIDBETTER Thomas
Rutgers School of Business

Operations Research

LONG Darrell
University of California

Visiting Marc Shapiro and Delys Group

PÂRIS Jehan-François
University of Houston

Poursuivre mes recherches avec le Professeur Darrell D. E. Long et me familiariser avec les récents travaux de l’équipe du Dr. Marc Shapiro dans le domaine de la « just right…

BAI Jia-Ju

Bug finding in systems code

AYED Ibrahim
polytechnique

modelisation de systemes dynamiques par reseaux de neurones

YENGUI Ihsen
Universite d SFAX Tunisie, faculté des sciences

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

MUKUNOKI Daichi
Tokyo Woman's Christian University (Japon)

TAKESHI Ogita
Tokyo Woman's Christian University

POWERS Thomas
University of Delaware

IMAMURA Toshiyuki
RIKEN Advanced Institute for Computational Science, Kobe, Hyogo 650-0047, Japan

FRONING Holger
uni. Heidelberg, Allemagne

MÜCKE Manfred
Graz University of Technology, Austria

BANERJEE Suman
University of Wisconsin -Madison

WAGNER Claudia

son domaine de recherche concerne la science des réseaux, la science des données et la fouille de données. Elle porte une attention aux phénomène sociaux issus d…

KULSHRESTHA Juhi

elle étudie l'impact des systèmes de recommandation et des algorithmes d'aide à la décision dans le contexte des média en ligne. Elle s'intéres…

LARCHER Isabella
Université technique de Vienne

Random sampling and quantitative analysis for families of directed acyclic graphs

GITTENBERGER Bernhard
Technische Universität Wien (Austria)

Random sampling and quantitative analysis for families of directed acyclic graphs

POWERS Thomas
University of Delaware

BISIAUX Pierre
Université College Dublin

Etude de résaux de PLL tout numérique sur FPGA

SRIVASTAV Abhinav
IBISC, Université d’Evry

HARIATI Mehdi
Université d'Anaba

Méthode formelle pour genie-logiciel

VIARD Tiphaine

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

MEYER Pierre
ENS de Lyon

KERMANI Mohamed Hachem
Université de Constantine

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

MITRA Bivas
IIT Kharagpur

Conception d'algorithmes pour l'analyse des réseaux complexes

BHOWMICK Ayan
IIT Kharagpur

Conception d'algorithmes pour l'analyse des réseaux complexes

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 Midiac…

ELIAS MITRE CAMPISTA Miguel
Universidade Federal de Rio de Janeiro

Réseaux d'ordinateurs;Internet; Réseaux sans Fil; Sciences de réseau

SILVEIRA Regina
Université de Sao Paulo

Virtualisation des Réseaux

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 …

LARCHER Isabella
Université technique de Vienne

Random sampling and quantitative analysis for families of directed acyclic graphs

SAADI Hayet
Université Badji Mokhtar ANNABA ALGERIE

MARTONE Michèle

Utilisation de Coccinelle dans le code HPC

KHENNAOUI Roumeissa
Université de Constantine 2

Approche de vérification contextuelle des systèmes ambiants

SALD Urska
Institut Universitaire Européen à Florence

ORDA Ariel
Technion Israel Institute of Technology

KLIKPO Enagnon Cédric
UPMC

Doctorant IRT-SystemX

VILAR BASTOS Ian
Université Fédérale Fluminense

Recherche sur les contrôles d'accès dans les réseaux sans fil ultra-denses.

MARIOTTI Octave
Université d'Edimbourg

SCHAUMONT Patrick

implémentation cryptographique orthogonale et sécurisée

HORESH Naama
MIGAL Galilee Research Institute, Israel

Recherche fondamentale optimisation

YESSAD Lamia
Ecole nationale supérieure d'informatique Alger

informatique génie logiciel

PANTOJA Carlos Eduardo
UFF

Integrating Multi-Agent Systems and Internet of Things To Support Ambient Intelligence Systems

FERCHICHI Olfa
Ecole Nationale des Sciences de l'informatique du Tunis

Evolution de ligne de produits dynamique

BELAHCENE Khaled
Ecole centrale Paris

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

ABRAMS Nathan
Columbia University

PHAN Thi Ha Duong
Institut de mathématique du Vietnam

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

GUEYE Ibrahima
UCAD

Algorithmes de consensus dans les blockchains

HANNACHE Oussama
Université de Constantine

Sécurité de de Réseaux SDN

NGUYỄN Kim Thǎ́ng
IBISC, Université d'Evry

Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen

travailler avec Christoph Dürr, Carola Doerr, Fanny Pascual, Evripidis Bampis, Bruno Escoffier e…

UNNIKRISHNAN Anupama
Université d'OXFORD

NGUYỄN Kim Thǎ́ng
IBISC, Université d'Evry

Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen

SRIVASTAV Abhinav
IBISC, Université d’Evry

WILSON Peter Nicholas
University College Cork, Ireland

Different User Models for Inferring Preferences

LO David

The focus of the visit will be on 0lU' joint
ANR-NRF project ITrans: Automatic infcrence of software transformation rules for automatically
back and forward porting legacy infrastmctu…

LINGXIAO Jiang

The focus of the visit will be on 0lU' joint
ANR-NRF project ITrans: Automatic infcrence of software transformation rules for automatically
back and forward porting legacy infrastmctu…

SARR Idrissa
Université Cheikh Anta Diop de DAKAR

Projet épidémiologie

LARCHER Isabella
Université technique de Vienne

Random sampling and quantitative analysis for families of directed acyclic graphs

IAKYMCHUK Roman

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

RIKHTEHGAR Negar
Shiraz University of Technology

Traffic management in data center networks

PERSECHINO Mauro
Université Paris Sud

Cryptographie quantique sur "puce" optique

L’objectif de cette thèse est de démontrer la possibilité d’intégrer un dispositif de distribu…

BERGVELT David
University of Illinois

Automation of proofs for the Ipanema DSL using Why3 and Verifiable C

MEYER Pierre
ENS de Lyon

MARTONE Michèle

Utilisation de Coccinelle dans le code HPC

RUMP Siegfried
Hamburg University of Technology

RAPAPORT Ivan
Université du Chili

Calcul distribué

TIBERMACINE Chouki
Université Montpellier

Génie Logiciel

RENAULT Marc
Université Paris 7

SCHAUMONT Patrick

implémentation cryptographique orthogonale et sécurisée

MARTINS Paulo
Université de LIsbonne

LESAVOUREY Andrea
Université de Wollongong

Doctorant en thèse

SHIBATA Masahiro
Kyushu Institute of Technology

mobiles agents, mobiles robots, and distributed algorithms

LABROUSSE Nathalie
Institut Telecom Brest

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

LIYANAGE Madhunsanka
University of Oulu, Finland

Future Internet, Network security, Virtual Networks, Security Protocols, Software Defined Networks
STSM - RECODIS

WAGNER Markus
University of Adelaide

Evolutionary Computation

MATALLAH Hocine
Université de TLEMCEN


Vers un nouveau modèle de stockage et d‘accès aux données dans les Big Data et les Cloud Computing

SILVA NOGUEIRA Jose Marcos
Université Belo Horizonté

VITERBO José
puc rio Université

Projet Campus

PLANTARD Thomas
University of Wollongong

Cryptographie

BRAJARD Julien
Université Pierre et Marie Curie

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

CASALS DO NASCIMENTO Arthur Henrique
université de Sao Paulo

PASQUA Michele
Université de Vérone

Travail sur ERC MOPSA (Miné)

GALICE Antoine
Sorbonne Université - Licence informatique

Sujet de stage : Collaborative Sat Solving

NEUMANN Frank
Université of Adelaide

optimisation - équipe RO

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 r…

MAIER Guido Alberto
Polytechnique Italie

CENTRONE Federico

Quantum Coherence in Noisy Cellular Automata

CANCELLIERE Rossella
Université de Turin

FESCI SAYIT Muge

MPTCP traffic forwarding using SDN

KARAYER Ermen

MPTCP traffic forwarding using SDN

HARIATI Mehdi
Université d'Anaba

Méthode formelle pour genie-logiciel

OOSHITA Fukuhito
NAIST, Nara Institute of Science and Technology

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

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

Identification of stable Linux patches using machine learning

DOS SANTOS Aldri Luis

Network Security

CHAOUCHE Ahmed Chawki

Collaboration Recherche

SAULPIC David
Ecole Normal Supérieur

SIPASSEUTH Arnaud
Université de Wollongong

Collaboration ALMACRYPT

YESSAD Lamia
Ecole nationale supérieure d'informatique Alger

HARIATI Mehdi
Université d'Anaba

Approche formelle pour la combinaison des composants et des aspects

RUDEK Michal
Université Pierre et Marie Curie (UPMC)

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

MATALLAH Hocine

Gestion des données dans les grands environnements

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é…

DRON Wilfried
UPMC

START UP / Collaboration avec l'équipe SYEL

RUDEK Michal
Université Pierre et Marie Curie (UPMC)

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

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èm…

KING Brad
Entreprise SCALITY

PREMOLI Marco Luigi
Université de Milan

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 syste…

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 …

BLOKHINA Elena
University College Dublin (Irlande)

Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…

TANTER Eric

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

HOUHOU Sara
Université de Biskra

Spécification vérification formelles de systèmes

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 …

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 cryptograp…

VAN DE POL Jan Cornelis
université Twente

Model checking

BOURGOIN Mathias
Université d'Orléans

Programmation GPU

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.

LANIEL Francis

Doctorant depuis le 01/10/2017

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

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)

KROAH HARTMAN Greg
LINUS FONDATION

Linux Kernel

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

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

COLISSEN Léo
ENS CACHAN

QUANTUM BLOCKCHAIN

BAGHBANZADEH Sima
Institut for reserch in fondamental siences CIMP

RAHIMI-KESHARI Saleh
Institut of reshech fondamental

IAKYMCHUK Roman

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

BLOKHINA Elena
University College Dublin (Irlande)

Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…

BEAUSEIGNEUR Clément
Université Evry

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

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 …

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

work on a scheduling problem with quadratic objective function

ROE Glenn
Australian National University

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…

YENGUI Ihsen

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

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 crypto…

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

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 crypto…

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.

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

PALIX Nicolas
Université Copenhague

Collaboration sur Ipanema

MIRALDO Victor
Université portugal

COST EUTypes

HATTAB Noureddine
ESI Algerie

system multiagent

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 -…

MIRALDO Victor
Université portugal

COST EUTypes

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.

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

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 gara…

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

HOBAN Matty
University of Edinburg ,UK

INFORMATION QUANTIQUE

SAID Issam

Etude des APU pour l'imagerie sismique.

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

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 …

RENAULT Marc
Université Paris 7

RZADCA Krzysztof
Université de Varsovie

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 p…

ELIAS MITRE CAMPISTA Miguel
Universidade Federal de Rio de Janeiro

BASSE Adrien
Université de Dakar

SANOJA Andres
Université de Caracas

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…

LAMARCHE-PERRIN Robin

Analyse multi-échelles de graphes dynamiques

SARR Idrissa
Université Cheikh Anta Diop de DAKAR

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

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

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

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

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

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

POWERS Thomas
University of Delaware

ROUX Antoine
Thalès

Algorithmes pour code auto-correcteur

ENDRISS Ulle

Choix social computationnel

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’équ…

PASSERINI Andrea
Université de Trento

13907-13864
rendue le 24/03/2016

POWERS Thomas
University of Delaware

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

POWERS Thomas
University of Delaware

LEAL DOMINGUES NETO José
UFMG

Mobile cloud offloading

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.

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.

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

AYADI Aicha Lilla
ENIS de Sfax

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

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 S…

ORERO Joseph
Université de Jomo Kenyatta

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

CONDE Marta
CSIC (Madrid)

Cryptographie et attaque algébrique

MELEU Romaric
Université de Yaoundé

Complex Networks
5887

HARIATI Mehdi
Université d'Anaba

Approche formelle pour la combinaison des composants et des aspects

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. Ped…

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

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

MURMANN Boris
Université de Stanford

ACHOUBA Sofian
Université Pierre et Marie Curie

Client WEB pour Cosyverif

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

COSTA Luis Henrique
Universidade Federal do Rio de Janeiro

wireless networks, group communication, quality of service, multicast

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.

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

BERNARDES Daniel
Université Paris 13 Villetaneuse

3473

FOURNIER Raphaël
MC CNAM

Analyse des flots de liens

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.

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 performan…

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

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, produ…

RIENER Cordian
Aalto University

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 rec…

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

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

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

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

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

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

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

THUNG Ferdian
Singapore Management University

SAXENA Nitin
IIT Kampour

Complexité algébrique

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

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 poten…

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

OGAWA Mizuhito
Gaist

Software verification informal methods

PRAMANIK Soumajit
IIT Kharagpur

Controlling Information Flow in Social Networks

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…

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

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é…

PHAM Dan Chi
Université de Copenhague

MAINARDI Chiara
Maison de la Recherche

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

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…

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

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

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 le…

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 s…

BRUGUERA Javier
Université Santiago de Comos

PACHET François
SONY CSL

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

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)

KALTOFEN Erich
North Carolina State University

Genomic sciences

ANGIUS Fabio
UCLA

Mobility and Networking

ZHI Lihong
Academie des Sciences, Chine

FRONTINI Francesca
Istituto di Linguistica Computazionale - CNR - Pisa

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, applicati…

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.

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.

WANG Shengrui
Université de Sherbrooke, Canada

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

VALLE Eduardo

Local descripter machine maschting for image identification

TANG Mingsheng
National University of defense technology

Société artificielle et language de modélisation

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

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.

MEJRI Naourez
ENSI Tunis

Optimisation d'affection des parkings aux véhicules

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

NGUYỄN Kim Thǎ́ng
IBISC Université d'Evry

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

ÖZKAN Burcu
Koc University

Verification of concurrent programs

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

Professor, ECE Dept., MS-1G5

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

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

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&…

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.
…

PLANTARD Thomas
University of Wollongong

Cryptographie

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.

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 r…

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 .

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)

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

DÉMOULINS Clément
ENS-Cachan/CNRS

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

LAGE Ricardo
Université Aalborg - Danemark

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

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%

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

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

Tolérance aux fautes sur les réseaux dynamiques

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'éner…

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

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

BRACONNOT VELLOSO Pedro

Trust in Collaborative Networks

REJEB Lilia
Université de Sousse (Tunisie)

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

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 .

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 …

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

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.

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 …

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

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

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

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

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 c…

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, robotic…

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 …

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

Tolérance aux fautes sur les réseaux dynamiques

HAJJAR Mohammad
Université Libanaise

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 …

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.

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

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

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…

RIOS SOLIS Yasmin Agueda
Université de Monterrey au Mexique

Collaboration recherche

ZHI Lihong
Academie des Sciences, Chine

Calcul Formel

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

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.

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

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 defin…

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 analysi…

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 manag…

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, conges…

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 in…

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

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)

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é…

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

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

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…

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 intere…

Ó 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 partili…

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 eco…

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, Com…

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 an…

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'appr…

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
…

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, Com…

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 constra…

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 algori…

BUCHS Didier
Université de genève

Spécifications formelles, test, prototypage

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 …

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 …

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 (Us…

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 intel…

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 (F…

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

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 p…

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 A…

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 Internation…

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

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…

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&eacut…

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

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

ESTEVA Francesc

Logique floue, raisonnement approximatif, similarités

BOUTABA Raouf
University of Waterloo, Canada

DRUSCHEL Peter
Rice University

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

Guests currently at LIP6