Laboratoire lorrain de recherche en informatique et ses applications - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Établissements partenaires
Cinq établissements sont partenaires du laboratoire :
- le CNRS, Centre National de Recherche Scientifique (UMR 7503)
- l'INPL, Institut national polytechnique de Lorraine
- l'INRIA, Institut national de recherche en informatique et en automatique
- l'université Henri Poincaré, Nancy 1
- l'université de Nancy 2
Thèmes de recherche
La mission fondamentale du LORIA est de mener des recherches fondamentales et appliquées, au niveau international, dans le domaine des sciences et technologies de l'information et de la communication. Le LORIA assure également des missions de formation par la recherche (thèses) et de transfert de technologie.
Ses thèmes de recherche sont les suivants :
- Calculs, simulation et visualisation à haute performance ;
- Qualité et sûreté des logiciels (voir génie logiciel et sûreté de fonctionnement des systèmes informatiques) ;
- Systèmes parallèles, distribués et communicants ;
- Modèles et algorithmes pour les sciences du vivant (voir bio-informatique);
- Traitement de la langue naturelle et communication multimodale, structures de traits ;
- Représentation et gestion des connaissances.
Le Loria et les logiciels
Plusieurs logiciels ont été réalisés dans ce laboratoire, notamment :
- SmartEiffel Sa réalisation la plus populaire dans le monde de l'Open Source est le Small Eiffel Compiler, devenu depuis le GNU SmartEiffel Compiler, "compilateur" incrémental vers le C du langage objet Eiffel inventé par Bertrand Meyer comme langage plus lisible que le C++ et donc plus facile à écrire comme à lire et maintenir.
- MPRF, une bibliothèque de calcul en virgule flottante
- TOM, une implémentation du modèle de calcul par réécriture
