LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37
Un poste de professeur et un poste de maître de conférences au LIFO sont ouverts au concours.
Le Laboratoire d'Informatique Fondamentale d'Orléans, laboratoire de l'Université d'Orléans et de l'ENSI de Bourges reconnu par le Ministère de la Recherche, est actuellement Équipe d'Accueil n°4022.
Les recherches menées au LIFO concernent la science informatique. Elle vont des algorithmes à la visualisation scientifique, de l'apprentissage au parallélisme massif, de la vérification de protocoles à la sécurité des systèmes. Le laboratoire est structuré en quatre équipes :
![]() Contraintes et Apprentissage |
![]() Graphes, Algorithmes et Modèles de Calcul |
![]() Parallélisme Réalité virtuelle et Vérification de système |
![]() Sécurité et Distribution des Systèmes |
Afin d'offrir une autre approche du laboratoire et de promouvoir la coopération entre équipes, les thématiques transversales suivantes ont été définies :
Le LIFO est fortement impliqué dans le Master IRAD et le Master MIAGE. Il accueille chaque année des étudiants pour des stages de recherche (Master recherche) ainsi que des étudiants pour des stages à différents niveaux (DUT, L3, Master Pro...).
The SANTE Method: Value Analysis, Program Slicing and Test Generation for C Program Debugging
Le 13/02/2012Extraire et exploiter les descripteurs linguistiques en fouille de textes
Le 20/02/2012