Détails du laboratoire LIFO |
Laboratoire d'Informatique Fondamentale d'Orléans | |||
Equipe d'Accueil EA 4022 | |||
Direction | |||
Directeur | Christel 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 | |||
Chercheurs | Doctorants | IATOSS et ITA | Postdocs et visiteurs |
30 | 12 | 1 | 3 |
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 | |||
2008 | Jérémie VAUTARD | ||
2007 | Jérémie VAUTARD | ||
2006 | Sylvain JUBERTIE | ||
2005 | Sylvain JUBERTIE |