Détails du laboratoire LIFO
Laboratoire d'Informatique Fondamentale d'Orléans
Equipe d'Accueil EA 4022

Direction

DirecteurChristel VRAIN
Batiment IIIA Rue Léonard de Vinci B.P. 6759 F-45067 ORLEANS Cedex 2
(+33) 2 38 41 72 89
(+33) 2 38 41 71 37
Christel.Vrain@univ-orleans.fr
http://www.univ-orleans.fr/lifo

Personnels

ChercheursDoctorantsIATOSS et ITAPostdocs et visiteurs
301213

Activités de recherche

Les recherches menées au LIFO concernent la science et l'ingénierie du logiciel.

Thématiques

* Contraintes et Apprentissage (CA)
Intelligence artificielle, apprentissage relationnel et statistique, fouille de données, fouille de textes, visualisation de connaissances, traitement de la langue naturelle, programmation par contraintes, optimisation
* Graphes et Algorithmes (GA)
Etude théorique des propriétés structurelles des graphes, algorithmes de graphes, décomposition de graphes, modèles continus de calcul
* Parallélisme Réalité virtuelle et Vérification (PRV)
Intergiciel pour le développement d'applications de réalité virtuelle, outils logiciels pour le calcul intensif, bases de données massivement parallèles, vérification de systèmes complexes, analyse et requêtes de documents XML
* Sécurité et Systèmes Distribués (SDS)
Meta-politiques de sécurité pour les systèmes distribués, détection d'intrusion basée sur les politiques de sécurité

Matériels et techniques

* Grappe de 8 PC biprocesseurs et 9 PC biprocesseurs bicoeurs
*Grappe mobile de 5 PC biprocesseurs bicoeurs et 4 écrans
*Murs d'images (4 écrans et 4 vidéo-projecteurs) et périphériques pour la réalité virtuelle
Logiciels développés et distribués :
* Contraintes et apprentissage
QeCode Solver
* Parallélisme et réalité virtuelle
Bulk Sychronous Parallel ML
FlowVR
NetJuggler
SoftGenlock
*Parallélisme déclaratif
Bulk Synchronous Parallel ML
Minimally Synchronous Parallel M
L Parallel Database ML

Collaborations

Collaborations avec l'industrie :
* BRGM : visualisation de données géo-scientifiques, extraction de connaissances
* CEA : analyse statique de programmes, sécurité dans les systèmes répartis
* Sagem, Aonix : vérification d'un système de drones
* Cosytec, Ilog : outils pour la programmation par contraintes
* Ontomantics, Geo-Hyd, ...
Collaborations académiques :
* En France : Ecole des Mines (Nantes), CNAM, INRA, INRIA, IBISC (Evry), IRISA (Rennes), LaBRI (Bordeaux), LIAFA et PPS (Paris 7), LIFC (Besançon), LIP6 (Paris 6), LORIA (Nancy), LSIS (Aix-Marseille)
* En Europe : Universidade da Beira Interior (Portugal), Ludwig-Maximilians-Universität (Allemagne), Università di Torino (Italie), Akademia Górniczo-Hutnicza (Pologne), Technische Universität Wien (Autriche), Warwick University (Royaume-Uni)
* En Amérique du Nord : Dayton University, The University of Maryland, The State University of New-York, Ecole Polytechnique de Montréal
* Au Japon : Université de Tokyo, Université de Tohoku (Sendai)

Contact labo

2008Jérémie VAUTARD
2007Jérémie VAUTARD
2006Sylvain JUBERTIE
2005Sylvain JUBERTIE