Université d'Orléans

The Laboratoire d'Informatique Fondamentale d'Orléans is a laboratory of the University of Orleans and ENSI Bourges, officially recognized and supported by the French Ministry of Research. Within the current 2008-2011 research development plan, LIFO is a Research Unit (Équipe d'accueil) N°4022.

Research projects conducted at LIFO range from algorithms to scientific visualization, from machine learning to massive parallelism, from model checking to system security. The laboratory is structured around four teams:

Constraints and Machine Learning	Graphs, Algorithms and Models of Computation
Computing, Modeling and Verification of Distributed and Parallel Systems	Security and Distributed Systems

To provide another approach to the lab. and to foster inter-team cooperation, the following cross-lab. thematics are put forward:

• Massive data sets and high performance computation,
• Modelization and algorithms, and
• Security and safety.

The primary topics for PhD grants from the Ministère de l'Enseignement Supérieur et de la Recherche and the Région Centre for 2013 are:

• Sequential Data Mining, with Mathieu EXBRAYAT and Christel VRAIN (CA team),
• Model checking and regular approximations, with Yohan BOICHUT and Pierre RÉTY (PaMDA team).

 LIFO is deeply involved in the University of Orleans' MSC in Computer Science (Informatique and MIAGE).