- Renseignements pratiques
- Enseignement
Contact
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
Bienvenue
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 et les STIC (c'est le seul laboratoire 100% STIC de l'université). Elle vont de l'algorithmique à 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 |
 ProgrAmmation, Modélisation et vérification D'Applications parallèles et distribuées |
 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 :
- Masse de données et calcul haute performance,
- Modélisation et algorithmique, et
- Sécurité et sûreté.
Au sein de l'école doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (ÉD MIPTIS), les demandes pour les allocations de thèse du Ministère de l'Enseignement Supérieur et de la Recherche et de la Région Centre sont pour 2013 :
- Vers la maîtrise des approximations pseudo-régulières pour la vérification de programmes parallèles (LIFO, P. Réty et Y. Boichut)
- Découverte de connaissances dans des séries temporelles (LIFO, C. Vrain et M. Exbrayat)
- Protection des systèmes d’exploitation virtualisés et des Clouds (LIFO, C. Toinard)
- Discrétisation automatique de ℝ² vers un automate cellulaire (LIFO, J. Durand-Lose)
Le LIFO est fortement impliqué dans le Master Informatique 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...).
Le LIFO fait partie de
- l'Institut Thématique Pluridisciplinaire (ITP) Modélisation, Systèmes et Langages (MSL) de l'Université d'Orléans et de
- la fédération CaSciModOT (Calcul Scientifique et Modélisation Orléans Tours).
Le LIFO adhère à la 
Société Informatique de France.
