Laboratoire Lorrain de Recherche en Informatique
Pôle scientifique : Informatique, Automatique, Électronique et Mathématiques (IAEM) |
Campus scientifique • BP 239 • F-54506 Vandœuvre lès
Nancy
Tél./phone +33 3 83 59 20 00 • Fax : +33 (0)3 83 59 20 66
Écrire au laboratoire |  Site
web |
|
|
|
 |
 LORIA : Mots-clés |
| |
|
|
|
| Méthodes/Procédés/Techniques |
Produits/Objets
d'étude |
Applications |
| |
Algorithmique : arithmétique, combinatoire, numérique, distribuée,
géométrie algorithmique, optimisation, ordonnancement, complexité algorithmique
Systèmes formels et systèmes de connaissances : logique
du premier ordre, logiques temporelles et modales, théorie des types,
lambda-calcul, grammaires formelles, déduction automatique
Méthodes statistiques, probabilistes et stochastiques : modèles
décisionnels de Markov, réseaux Bayésiens, modèles
de Markov cachés, réseaux de neurones, apprentissage statistique,
modèles stochastiques |
Liste à consulter
sur le site du LORIA
|
Réseaux,
Internet, Web
Sécurité des systèmes informatiques
Réalité virtuelle
Robotique
Bioinformatique
Santé
|
|
|
LORIA : Activités, Collaborations |
|
Résumé de l'activité scientifique du laboratoire |
|
Fort de plus de 450 personnes regroupées au sein d’une Unité mixte
de recherche rattachée aux 3 Universités de Nancy, au CNRS et à l’INRIA,
le LORIA a pour objectif premier de
développer une recherche de qualité.
Le LORIA compte 24 équipes de recherche, travaillant sur les 6 thématiques
suivantes :
Thème 1 : Calculs, simulation et visualisation à haute performance
Thème 2 : Qualité et sûreté des logiciels
Thème 3 : Systèmes parallèles, distribués et communicants
Thème 4 : Modèles et algorithmes pour les sciences du vivant
Thème 5 : Traitement de la langue naturelle et communication multimodale
Thème 6 : Représentation et gestion des connaissances |
Dans
chacune des thématiques suivantes, le LORIA développe ses
recherches au niveau international.
Thème 1 - Calculs, simulation
et visualisation à haute
performance
La physique, la chimie ou la biologie soulèvent aujourd'hui des
problèmes de modélisation qui constituent de vrais défis
pour l'informatique : la taille des modèles numériques à calculer,
transférer, visualiser, le besoin impérieux de précision
géométrique et physique, la prise en compte de la composante
temporelle et de l'interactivité dans les techniques de simulation
et de visualisation.
L'alliance en Lorraine du calcul scientifique, des réseaux et
de la visualisation haute performance est un atout pour aborder ces défis. |
Thème
2 - Qualité et sûreté des logiciels
Les problèmes de fiabilité et de sécurité des systèmes
informatiques seront abordés en se focalisant sur deux objectifs : d'une
part la conception de logiciels sûrs et permettant le traitement d'applications
de taille réelle ; d'autre part la vérification des systèmes
et services critiques, embarqués ou enfouis. |
| Haut de la page |
Thème
3 - Systèmes parallèles, distribués et communicants
Calculer sur des plates-formes hétérogènes distribuées,
maîtriser le fonctionnement des réseaux hétérogènes
et complexes, nécessite des recherches et des développements autour
de modèles et architectures logiciels pour la surveillance des services à forte
valeur ajoutée, d'architectures d'applications, entre autres pour la grille,
les entreprises virtuelles ou l'intelligence ambiante.
Les compétences du LORIA portent sur la supervision, la coopération,
et la distribution des programmes et des services, mais aussi sur l'étude
de protocoles, la sûreté de fonctionnement, et l'évaluation
de performances. |
Thème
4 - Modèles et algorithmes pour les sciences du vivant
En bioinformatique, un des objectifs de recherche est d'expliquer comment les
composants d'un système biologique interagissent pour assurer une certaine
fonction ; un modèle informatique permet d'analyser, de simuler et à terme
de prédire le comportement d'un système biologique ainsi que de
raisonner avec des méthodes formelles sur les propriétés
de ce système. Un autre objectif est de mieux comprendre les mécanismes
d'expression de génomes à partir de leurs séquences nucléotidiques
; cela nécessite la mise au point de nouvelles méthodes algorithmiques
efficaces, tenant compte d'une prolifération de données génomiques
et de nouvelles connaissances biologiques.
L'informatique bio-inspirée s'appuie sur la conception de systèmes
multi-agents, de systèmes neuromimétiques continus ou à évènements
discrets, de systèmes connexionistes de très grande taille. L'objectif
est d'étudier la capacité d'apprentissage de ces systèmes
bio-inspirés, grâce à des structures et algorithmes performants
alliant méthodes mathématiques et connaissances biologiques. |
| Haut de la page |
Thème 5 - Traitement de la langue naturelle
et communication multimodale
Le LORIA rassemble des compétences en traitement automatique de
la parole, en informatique linguistique, en interaction homme-machine,
en vision, en analyse de documents, en simulation de processus perceptifs
et communicatifs. Cette convergence permet de s'attaquer à l'interprétation
et à la présentation de données multimodales, avec
pour objectif de modéliser la perception et la cognition humaines
et d'en tirer parti pour mieux communiquer et interagir avec l'utilisateur. |
Thème 6 - Représentation et gestion
des connaissances
Si les capacités de stockage et d'organisation des systèmes
d'information permettent d'envisager des masses de données gigantesques,
encore faut-il se doter des moyens de les exploiter et de les partager,
au travers d'outils d'indexation, de navigation, de recherche d'informations,
de coopération.
Cette notion soulève des problématiques nombreuses, liées
au caractère très hétérogène des documents
manipulés et aux critères d'organisation des données
qui peuvent tre très variables suivant les organisations
concernées.
La représentation et la gestion des connaissances s'attaque à ces
problèmes complexes, dans le cadre du Web sémantique et des
entreprises virtuelles. |
| Haut
de la page |
En
accord avec les politiques scientifiques des Etablissements de rattachement,
le LORIA développe prioritairement quatre grandes orientations :
- Maîtriser le traitement de la langue naturelle et la communication
multimodale.
- Combiner simulation et visualisation.
- Garantir qualité, sécurité et sûreté des
systèmes informatiques.
- Développer des modèles et algorithmes pour la bioinformatique
et l'informatique bio-inspirée.
La seconde mission du LORIA est le transfert technologique des compétences
et des résultats de la recherche. Celui-ci s’effectue d’abord
par le biais d'une cinquantaine de contrats en cours impliquant des entreprises
via des collaborations bilatérales, des consortiums dans le cadre
de projets nationaux et européens. Pour se rapprocher des PMI,
le Loriatech, club des partenaires du LORIA, a été créé en
1999. Il rassemble des entreprises locales autour de rencontres de veille
technologique. Une autre voie du transfert est celle de la création
d’entreprises : l’Espace Transfert du LORIA et de l’INRIALorraine
a démarré en 1999.
L’ouverture internationale est une
nécessité et
une réalité au LORIA, avec à ce jour 120 coopérations
en cours dans 30 pays du monde, sans compter les étudiants et
chercheurs étrangers accueillis chaque année au laboratoire.
Le LORIA mène cette politique scientifique ambitieuse avec l’appui
des collectivités locales (le Conseil Régional de Lorraine,
le Conseil Général de Meurthe-et-Moselle et la Communauté Urbaine
du Grand Nancy), et en accord avec les Universités de Nancy, le
CNRS et l’INRIA. |
| Haut
de la page |
| Collaborations
scientifiques et industrielles |
Grands groupes
Alcatel • EADS • Bull • CEA • Cosytec • EDF • France-Telecom
R&D • Fiat • Hitachi • PSA • Xerox • Renault • Sagem • Siemens • Sollac
Lorraine Groupe Arcelor • TDF • Thalès…
PME
Babel Technologies • CMW • Earth Decision • FS2I • Dialoca • Incotec • Parrot… |
| |
Haut de la page |
|
|
LORIA : Équipements et moyens significatifs sur le site INPL |
|
Calculateur Onyx3800
Salle immersive
Cluster de calcul de 9 machines
Cluster IBM de 9 machines |
| Haut de la page |
|
|
LORIA : Personnel du laboratoire |
|
> Chercheurs et Enseignants-Chercheurs |
| Professeurs |
Maîtres de Conférences |
|
|
|
Nacer BOUDJLIDA (UHP)
Noëlle CARBONELL (UHP)
Adam CICHON (UHP)
Dominique COLNET (UN2)
Daniel COULON (INPL)
Amos DAVID (UN2)
J.Cl. DERNIAME (Émérite, INPL)
Philippe EVEN (UHP)
Hazel EVERETT (UN2)
Jean-Pierre FINANCE (UHP)
Didier GALMICHE (UHP)
Claude GODART (UHP)
Monique GRANDBASTIEN (UHP)
Jacques GUYARD (UHP)
Jean-Paul HATON (UHP)
Marie-Christine HATON (UHP)
Jacques JARAY (INPL)
Jacques LONCHAMP (UN2)
Jean-François MARI (UN2)
Jean-Yves MARION (INPL)
Dominique MERY (UHP)
Jean-Marie PIERREL (UHP)
Marie-Claude PORTMANN (INPL)
André SCHAFF (UHP)
René SCHOTT (UHP)
Françoise SIMONOT (INPL)
Kamel SMAILI (UN2)
Jeanine SOUQUIÈRES (UN2)
Odile THIÉRY (UN2)
Jean-Pierre THOMESSE (INPL)
Karl TOMBRE (INPL) |
Francis ALEXANDRE (UHP)
Henri AMET (INPL)
Laurent ANDREY (UN2)
Yolande BELAID (UN2)
Nadia BELLALEM (UN2)
Khalid BENALI (UN2)
Guillaume BONFANTE (INPL)
Yann BONIFACE (UN2)
Laurent BOUGRAIN (UHP)
Christine BOURJOT (UN2)
Anne BOYER (UN2)
Armelle BRUN (UN2)
Gérôme CANALS (UN2)
Dominique CANSELL (UPV)
François CHAROY (UN2)
Vincent CHEVRIER (UHP)
Isabelle CHRISMENT (UHP)
Laurent CIARLETTA (INPL)
Horatiu CIRSTEA (UN2)
Suzanne COLLIN (UHP)
Vincent COLOTTE (UHP)
Samuel CRUZ-LARA (UN2)
I. DEBLED-RENNESSON (IUFM)
Joseph DI MARTINO (UHP)
Philippe DOSCH (UN2)
Christine FAY-VARNIER (INPL)
Thierry FRECHE (UHP)
Bernard GIRAU (UN2)
Jean-Luc HUSSON (UHP)
Irina ILLINA (UN2)
Emmanuel JEANNOT (UHP) |
Jean-Charles LAMIREL (Strasbg)
Bart LAMIROY (INPL)
David LANGLOIS (IUFM)
Jean LIEBER (UHP)
Odile MELLA (UHP)
Pascal MOLLI (UHP)
Emmanuel NATAF (UN2)
Emmanuel NAUER (UPV)
Ammar OULAMARA (INPL)
Slim OUNI (UN2)
Guy PERRIER (UN2)
Olivier PERRIN (UN2)
Leonor PRENSA NIETO (INPL)
Martin QUINSON (UHP)
Wahiba RAMDAME-CHERIF (INPL)
Xavier REBEUF (INPL)
Denis ROEGEL (UN2)
Azim ROUSSANALY (UN2)
Sahbi SIDHOM (UN2)
Gilles SIMON (UHP)
Hala SKAF (UHP)
Malika SMAIL-TABBONE (UHP)
Ye Qiong SONG (UHP)
Frédéric SUTER (UHP)
Salvatore TABBONE (UN2)
Pascal URSO (UHP)
Laurent VIGNERON (UN2)
Laurent WENDLING (UHP)
B. WROBEL-DAUTCOURT (UHP) |
| Haut
de la page |
| Directeurs
Recherche |
Chargés de recherche |
Frédéric ALEXANDRE (INRIA)
Patrick BLACKBURN (INRIA)
François CHARPILLET (INRIA)
Philippe DE GROOTE (INRIA)
Olivier FESTOR (INRIA)
Jens GUSTEDT (INRIA)
Claude KIRCHNER (INRIA)
Hélène KIRCHNER (CNRS)
François LAMARCHE (INRIA)
Stephan MERZ (INRIA)
Amedeo NAPOLI (CNRS)
Michaël RUSINOWITCH (INRIA)
Paul ZIMMERMANN (INRIA) |
Carlos ARECES (INRIA)
Marie-Odile BERGER (INRIA)
Frédéric BLANQUI (INRIA)
Olivier BOURNEZ (INRIA)
Xavier CAVIN (INRIA)
Christophe CERISARA (CNRS)
J. COHEN-BOURNEZ (CNRS)
Véronique CORTIER (CNRS)
M.-Dominique DEVIGNES (CNRS)
Eric DOMENJOUD (CNRS)
Alain DUTECH (INRIA)
Dominique FOHR (CNRS)
Bertrand GAIFFE (INRIA)
Claire GARDENT (CNRS)
I. GNAEDIG-ANTOINE (INRIA)
Xavier GOAOC (INRIA)
Yann GUERMEUR (CNRS)
Bruno GUILLAUME (INRIA)
Guillaume HANROT (INRIA)
Erwan KERRIEN (INRIA)
Grégory KUCHEROV (INRIA)
Yves LAPRIE (CNRS)
D. LARCHEY-WENDLING (CNRS) |
Sylvain LAZARD (INRIA)
Vincent LEFEVRE (INRIA)
Bruno LEVY (INRIA)
Dominique MARTINEZ (CNRS)
Gérald MASINI (CNRS)
Pierre-Etienne MOREAU (INRIA)
Nicolas NAVET (INRIA)
Sylvain PETITJEAN (CNRS)
Sylvain POGODALLA (INRIA)
Matthieu QUIGNARD (CNRS)
Silvio RANISE (INRIA)
Jean-Luc REMY (CNRS)
Christophe RINGEISSEN (INRIA)
Nicolas ROUGIER (INRIA)
Bruno SCHERRER (INRIA)
Radu STATE (INRIA)
Emmanuel THOME (INRIA)
Arnaud TONNELIER (INRIA)
Yannick TOUSSAINT (INRIA)
Jesse TSENG (CNRS)
Mathieu TURUANI (INRIA)
Thomas VOETGLIN (INRIA)
Olivier ZENDRA (INRIA) |
|
|
