Laboratoire I3S
description
Transcript of Laboratoire I3S
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