Les activités du laboratoire se concentrent autour des nouveaux défis de
l’intelligence ambiante : conception des infrastructures logicielles adaptées,
développement de nouveaux modes d’interaction, exploitation intelligente du foisonnement
de contenus disponibles, biologie informatique, calcul...
Si les grands domaines originels du LIFL – Logiciel, Parallélisme et Calcul Distribué,
Image, Méthodes Formelles – sont toujours très présents, ils se déclinent différemment et
des thématiques plus récentes au sein du laboratoire comme « Réseaux », « Modélisation du
Vivant » ou « Apprentissage » ont confirmé leur importance et de nouvelles thématiques sont en
émergence.
Les recherches menées au LIFL sont regroupées autour de trois thèmes :
- Thème Infrastructures Logicielles et Systèmes Embarqués
- ADAM - Adaptive Distribued Applications and
Middleware
- Cocoa - Composition de modèles pour
l'ingénierie logicielle
- DaRT - Apports du parallélisme données au
temps réel
- RD2P - (projet INRIA Pops)
- RMod - Analyses et
construction de langage pour l'évolution d'applications orientées objet
- Thème Interaction, Coopération, Images
- FOX-MIIRE - Fouille et
indexation de dOcuments compleXes et multimedia, Multimédia, Images, Indexation,
REconnaissance
- Alcove -
Interacting with Virtual Complex Objects
- NOCE - Nouveaux Outils pour la Coopération
et l'Education
- SMAC - Système Multi-Agents et
Comportements
- Thème Modèles, Algorithmes, Calcul
- BioComputing - Langages de
programmation pour la modélisation et la simulation des systèmes biologiques
- Calfor - Calcul Formel
- MAP - Méthodologie et Algorithmique Parallèles
pour le calcul scientifique
- Mostrare - MOdèles de STRuctures
ARborescentes, apprentissage et Extraction d'information
- Dolphin - Optimisation multi-critère
parallèle coopérative
- Sequel - Sequential Learning
- Sequoia - Algorithms for large-scale
sequence analysis