LSR

The LSR -IMAG Laboratory LSR stands for Logiciels, Systèmes, Réseaux (Software, Systems, and Networks), the keywords that correspond to the main research fields of the laboratory. It is a joint laboratory of CNRS (Centre National de la Recherche Scientifique), INPG (Institut National Polytechnique de Grenoble) and UJF (Université Joseph Fourier), and a member of the IMAG federation.

A large part of its research contributes to the progress in technologies for the development of large scale software systems. Such systems are characterized by very large software sizes, large teams working on them, large amount of data manipulated, and a highly distributed nature.

Research at LSR is both fundamental and applied leading to results with solid theoretical background and operational prototypes. They are structured by two major axes :

Software technology

In the Software Engineering domain, projects deal with formal specification and verification of software, software architecture, configuration management and software deployment. In the formal methods area, research topics include automatic test generation, model-based specification languages (like B, VDM, and Z), algebraic specification (LPG), and theorem provers.

Networking and Database technology

Activities related to database and networking technologies have also an important place in the LSR laboratory. They concern, among others, quality of service and management of voluminous multimedia data including all services for nomadism, storage, querying, system support, transfer and presentation. Several of these services are developed in the WWW framework and provide support for distributed cooperative work.

Research within LSR benefits from rich national and international relations with academia (MIT, EPFL, ... ) and industry (Dassault Systèmes, Bull,  CNET,...).

Research staff : The LSR laboratory has 30 professor and lecturers, 6 full time researchers, 30 PhD students and several visiting professors, post-doc and master students.