Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

200615274F : LIFO EA 4022 LABORATOIRE D'INFORMATIQUE FONDAMENTALE D'ORLÉANS 
Unité de recherche   (situation 2024) 

Responsable(s)

Directeur - Benjamin NGYUEN à partir du 01/08/2016

Etablissements.
ORLEANS ORLEANS - Université Orléans (EA 4022)
(établissement tutelle à partir de 2006)
Etablissement référent
INSA CENTRE VA INSA CENTRE VA - Institut national des sciences appliquées Centre Val de Loire (EA 4022)
(établissement tutelle à partir de 2014)
Adresse
Université d'Orléans, Batiment IIIA, 6 rue Léonard de Vinci, BP 6759
45067 ORLEANS CEDEX 2
   Contact
  courriel : directeur.lifo@listes.univ-orleans.fr
Site web : http://www.univ-orleans.fr/lifo
Taille en ETP (sans compter les stagiaires): entre 10 et 50.
Descriptif :
Le Laboratoire d'Informatique Fondamentale d'Orléans compte 70 membres dont 42 enseignants-chercheurs permanents en exercice. Les recherches menées au LIFO concernent la science informatique et les STIC. Elles vont de l'algorithmique au traitement des langues naturelles, de l'apprentissage au parallélisme massif, de la vérification et la certification à la sécurité des systèmes, du Big Data aux systèmes embarqués. Le laboratoire est structuré en cinq équipes : - CA Contraintes et Apprentissage - GAMoC Graphes, Algorithmes et Modèles de Calcul - LMV Logique, Modélisation et Vérification - Pamda - SDS Sécurité et Distribution des Systèmes Le LIFO met en place une fédération de recherche avec le Laboratoire d'Informatique de l'Université de Tours : la Fédération Informatique Centre-Val de Loire.
Année de création : 1987
Mission de la structure : Recherche
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC
 - PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
Domaine scientifique
 - 9 : Sciences et technologies de l'information et de la communication 1987 0
Ecole(s) doctorale(s) de rattachement
 -  ED 551 - MIPTIS : MATHÉMATIQUES, INFORMATIQUE, PHYSIQUE THÉORIQUE ET INGÉNIERIE DES SYSTÈMES, depuis le 01/01/2012, fin d'accréditation le 31/12/2028
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s):
Graphe et Algorithmes; Apprentissage; Sécurité des systèmes; Traitement des langues naturelles; Vérification; Programmation certifiée; Big Data; Calcul distribué; Bases de données distribuées;
Liens avec d'autres structures :
Regroupe :
 -  Unité propre 202424541A - Concevoir des technologies d'amélioration de la vie privée explicables et efficaces   (lien non exclusif)

Participe à :
 -  Structures Fédératives de Recherche 201822696W - FED 4279 - Fédération Informatique Centre Val de Loire   (lien non exclusif)
Site ESR :
Aucun.

Fiche mise à jour par Benoit BALLET le 29/09/2023 à 11:58