Laboratoire I3S

Bâtiment les Algorithmes

Bâtiment ESSI

I3SInformatique, Signaux et Systèmes de Sophia Laboratoire commun : http://www.i3s.unice.fr

CNRS Université de Nice – Sophia Antipolis Des équipes communes avec l’INRIA Sophia Antipolis

Directeur P. Bernhard Directeurs adjoints : J-P. Partouche, L. Pronzato Relations industrielles : J-C. Lafon, A. de Fombelle Relations extérieures : L. Blanc-Féraud, M-A. Péraldi-Frati

114 permanents 13 CR ou DR du CNRS 7 CR ou DR de l’INRIA 81 MC ou P de l’Université

IUT (dept GEII, GTR, Informatique) Département informatique et électronique, automatique École d’ingénieur (ESSI, ESINSA)

75 doctorants Eléments bugétaires

Dotation des tutelles (hors salaires) : 370 Keuros Contrats de recherche : 2.200 Keuros

Organisation

Equipes de recherche focalisées

Regroupées en 5 thèmes ACA - algorithmique, combinatoire et

applications ALM - architectures logicielles et matérielles IMAGES - images numériques et vidéos STL - sciences et techniques du logiciel SIROCCO - signal robotique, communication

contrôle et optimisation

Partenariats

Locaux, nationaux, européens, … Académiques et industriels Contrats d’étude Participations à des consortium

Nationaux : réseaux nationaux (RNTL, RNRT, RIAM)

Européens

Partenariats régionaux

Partenariats nationaux

Autres partenariats

ACAAlgorithmique, combinatoire et applications

Contraintes - M. Rueher Commun avec INRIA – projet Coprin Résolution de systèmes de contraintes sur les domaines

continus Contraintes symboliques pour les preuves de contraintes

d’intégrité dans les bases de données Mascotte - J-C Bermond

Commun avec INRIA Algorithmique pour les télécommunications Optimisation combinatoire

Récif - J. Bond Langages formels Mathématiques discrètes

ALMArchitecture logicielles et matérielles Mosarts

M. Auguin Conception mixte logicielle/matérielle

Sports C. André Modèles de programmation synchrones Formalismes graphiques UML et temps réels

IMAGESImages numériques et vidéos Ariana

J. Zérubia Projet commun Problèmes inverses en traitement d’images Observation de la terre et cartographie

Créative M. Barlaud Compression numérique des images et vidéos Décodage d’images Segmentation d’image

STLSciences et techniques du logiciel EP - E. Gallesio

Environnement graphique pour langages applicatifs (bigloo et sdk)

Langages - O. Lecarme Compilation et analyse syntaxique Génération de code et systèmes de ré-écriture

Mainline - P. Sander Applications multimédia et enseignement à distance Personnalisation de contenus Publications interactives

STLSciences et techniques du logiciel Mecosi - J-L Cavarero

Data-mining et systèmes d’information hétérogène Oasis - I. Attali

Projet commun Programmation objets réparties Sémantiques et environnements, XML Analyse de programmes et sécurité

OCL - R. Rousseau Spécification et validation des assertions exécutables

Rainbow - M. Riveill Programmation par composants adaptables Applications collaboratives avec usagers nomades

SIROCCOSignal robotique, communication contrôle et optimisation

Astre - P. Comon Traitement du signal et filtrage non linéaire Identification de canaux

Biomed - H. Rix Traitement du signal et analyse temps-fréquence/temps-

échelle Signaux biomédicaux

OIC - P. Collard Optimisation (convergence d’algorithme) Estimation d’erreur Contrôle, Commande non-linéaire

SAM - J. Rendas Systèmes de navigation et de perception pour robots

mobiles Acquisitions d’information et planifications de trajectoire Commandes sous incertitudes