-
Energies et transition énergétique
-
Langage, langues et connaissances
-
Matériaux, chimie, procédés et produits
-
Numérique, mathématiques
-
Santé, biologie et vieillissement
-
Sociétés contemporaines: évolutions, régulations et expérimentations
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Laboratoire UMR 7503
Code RNSR : 198912571S
Le Loria a pour mission la recherche fondamentale et appliquée en sciences informatiques.
Le laboratoire structure ses équipes autour de ces cinq départements :
1. Algorithmique, calcul, image et géométrie
2. Méthodes formelles
3. Réseaux, systèmes et services
4. Traitement automatique des langues et des connaissances
5. Systèmes complexes, intelligence artificielle et robotique
379
effectif total
201-300
enseignants chercheurs et chercheurs permanents
101-200
doctorants
-
M. Adrien GUENARD
Responsable technique de plateforme -
M. Yannick TOUSSAINT
Responsable scientifique de plateforme
- Cybersécurité
- Laboratoire de Haute Sécurité
- protocoles cryptographiques
- méthodes formelles
- Creativ'Lab
- Intelligence artificielle
- Robotique
- Systèmes cyber-physiques
- e-éducation
- santé numérique
- neurosciences computationnelles
- usine du futur
- énergie
- traitement automatique des langues
- big data
- réalité augmentée
- systèmes de recommandation
Campus Scientifique, boulevard des Aiguillettes
54506 VANDOEUVRE-LES-NANCY
Autres villes d'implantation
METZ (57)
Expertises
- apprentissage
- géométrie discrète
- infographie
- cryptologie
- géométrie algorithmique
- vision par ordinateur
- fabrication additive
- calcul (symbolique, algébrique et numérique)
- géométrie (computationnelle, discrète et non-linéaire)
- classification et apprentissage statistique, image
MÉTHODES FORMELLES :
- Logique
- modèles de calcul
- modèles de programmation
- réécriture
- modélisation
- spécification
- sûreté
- sécurité
- validation
- vérification
RÉSEAUX, SYSTÈMES ET SERVICES :
- Réseaux
- systèmes parallèles
- systèmes distribués
- coopération
- surveillance
- configuration
- expérimentation
- validation
- planification
- optimisation
TRAITEMENT AUTOMATIQUE DES LANGUES ET DES CONNAISSANCES :
- traitement automatique des langues
- linguistique computationnelle
- grammaires formelles
- traduction automatique
- analyse/synthèse de la parole
- reconnaissance de la parole
- modélisation articulatoire de la parole
- traitement du signal audio
- séparation de sources sonores
- modèles probabilistes
- fouilles de données complexes
- apprentissage symbolique et numérique
- représentation des connaissances et raisonnement
- classification
- reconnaissance de formes
- modélisation de l'écriture manuelle
SYSTÈMES COMPLEXES, INTELLIGENCE ARTIFICIELLE ET ROBOTIQUE :
- algorithmique
- modélisation
- neurosciences computationnelles
- biologie computationnelle
- sciences cognitives
- filtrage collaboratif
- recommandation sociale
- interaction homme-machine
- apprentissage automatique
- planification dans l'incertain / apprentissage par renforcement
- fouille de données
- calcul parallèle / haute performance
- applications bio-médicales
Santé numérique:
- Données/Data
- Dispositifs/Devices
- Rééducation de la parole
- Réalité augmentée en imagerie médicale
- Structures moléculaires en 3D
- Science des données pour la santé
- Des algorithmes pour ajuster les doses de médicaments
Sécurité informatique:
- Virologie
- Management d'internet
- Analyse de protocoles de sécurité
- Sûreté logicielle
- Cryptographie
- Sécurité des réseaux industriels
- Sécurité des objets connectés
- Vérifiabilité des systèmes de vote électronique
Robotique:
- Validation, vérification formelle, évaluation de performances des systèmes
- Déploiement optimal et validation
- Protocoles de communication, distribution, middleware adaptatif
- Réalité virtuelle et réalité augmentée
- Algorithme de décision autonome
- Système autonomes adaptatifs
- Interfaces cerveau/ordinateur
- Interactions homme/machine
- Systèmes cyber-physiques
- Fabrication additive
E-éducation:
- Intelligence artificielle au service de la parole
- Intelligence artificielle pour la personnalisation des apprentissages
- Intelligence artificielle au service de l'apprentissage du français
- Learning analytics
Marchés d'application
- Informatique
- Administration / Service public
- Enseignement / Formation
- Recherche / Science
Projets partenariaux représentatifs
- H2020 NL4XAI : http://nl4xai.eu
- LIA Datanet
- MOU avec le Japon
- Accord de partenariat avec le CISPA pour la cybersécurité
- HumanE-AI-Net : http://www.humane-ai.eu
- Concordia : http://www.concordia-h2020.eu
- H2020 AI-PROFICIENT
- H2020 HumanE-AI-NET
- H2020 NEASQC
- Collaboration avec Kyutech
- Projet Erasmus de mobilité avec l'Ukraine
- Projet LOLA, en collaboration avec le Ministère de l'éducation nationale et de la jeunesse
Publications
Pôles de compétitivité
Thématiques stratégiques
- Energies et transition énergétique
- Langage, langues et connaissances
- Matériaux, chimie, procédés et produits
- Numérique, mathématiques
- Santé, biologie et vieillissement
- Sociétés contemporaines: évolutions, régulations et expérimentations
Offre de technologie
- MECSYCO : Multi-agent Environment for Complex SYstem CO-simulation
- Smart Grids : Réseau Intelligent appliqué au domaine de l'énergie
- Starburst Engine : Logiciel innovant pour une meilleure immersion dans les jeux vidéo
Plateformes associées
Établissements de rattachement
Pôle scientifique
- Pôle scientifique Automatique, Mathématiques, Informatique et leurs Interactions
Appartenance à un groupement institutionnel (GIS, LIA, LEA, GDR)
GIS INTEROP Grande-Région (INTEROPerability Research for Networked Enterprises Applications & Software)
GIS GRID'5000
LIA DATANET (Big data et réseaux à large échelle)
Robotex