-
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 ROR : 02vnf0c38
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
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. Yannick TOUSSAINT
Directeur / Directrice d'unité de recherche
- 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
ALGORITHMIQUE, CALCUL, IMAGE ET GÉOMÉTRIE :
- 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
- 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
- Réseaux / Télécom
- Energie
- Industrie de la Défense
- Santé / Bien-être
- Industrie aéronautique & spatiale
- Industrie automobile / Mobilité
- Transport / Logistique
- Electronique / Photonique
- Enseignement / Formation
- Automatisme / Machinisme
- Recherche / Science
Projets partenariaux représentatifs
- H2020 Comprise : http://www.compriseh2020.eu
- 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
- 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
- Starburst Engine : Logiciel innovant pour une meilleure immersion dans les jeux vidéo
- Smart Grids : Réseau Intelligent appliqué au domaine de l'énergie
- MECSYCO : Multi-agent Environment for Complex SYstem CO-simulation
Plateformes associées
Établissements de rattachement
Pôle scientifique
- Pôle scientifique Automatique, Mathématiques, Informatique et leurs Interactions
Ecoles doctorales
Appartenance à un groupement institutionnel (GIS, LIA, LEA, GDR)
GDR 2995 SOC2 (System On Chip, Systèmes embarqués et Objets Connectés)
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
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