LRI Laboratoire de Recherche en Informatique (Computer Research

LRI
­
Laboratoire
de
Recherche
en
Informatique
(Computer
Research
Laboratory)
LRI is the Laboratory for Computer Science at Université Paris Sud, joint with CNRS the National Center for Scientific Research,
INRIA and Centrale/Supelec. Founded more than 35 years ago, it has over 250 members, including over than 130 faculty and staff
and 88 Ph.D. students. LRI consists of nine research groups, supported by an administrative and a technical staff. Six of the
research groups are totally or partially joint with Inria Saclay Ile de France making it one of the main partners of the laboratory.
The laboratory is located on the Moulon plateau in its new connected buildings Ada Lovelace and Claude Shannon.
The research themes addressed by LRI cover a wide spectrum of computer science focused on software ranging from fundamental
to applied research: algorithms, combinatorics, graph theory, discrete and continuous optimization, programming, software
engineering, verification and proofs, parallel systems, high performance computing, grids, architecture and compilation,
networking, databases, knowledge representation and processing, machine learning, data mining, bioinformatics, human-computer
interaction, etc. Such diversity is one of the strengths of the laboratory, fostering research at the boundaries across areas, where the
potential for innovation is highest.
The laboratory participates in a large number of national and international projects, including those funded by ANR the French
National Research Agency, by Digiteo and by the European Union (in particular the KIC ICT Labs from EIT). LRI members
participate in many editorial boards of international journals and program committees of international conferences. The laboratory
is also highly productive, with over 2000 publications in last five years, and is strongly involved in software production and
transfer.
LRI is a partner in Digiteo one of the twelve research networks created by the French government in 2007 and the only one in
Information Sciences and Technologies (IST). Digiteo gathers on Saclay plateau 1200 researchers from 23 laboratories of six
founding national research institutions (CNRS, CEA, Inria, Université Paris-Sud, Ecole Polytechnique, Supélec) and six associate
members which joint later (Ecole Centrale Paris, ENS Cachan, Université de Versailles Saint Quentin en Yvelines, Institut MinesTélécom, Mines ParisTech, ENSTA ParisTech). LRI is also a partner in System@tic Paris-Region a world-class competitiveness
cluster with more than 200 industrial, academic and institutional members in the area of complex software and systems.
LRI is strongly involved in the Investments for the Future programs launched in 2010 by the French government. It leads the
Equipex Digiscope, the Labex Digicosme, it participates to the IRT SystemX and is very active in the Idex Paris-Saclay which will
give birth in 2014 to the new Paris-Saclay University: it plays an important role in setting the future IST Department in the
continuity of Digiteo and leads the projects of the IST Doctoral School and of the computer science master of the Paris-Saclay
University.
Key figures
Members: at least 250 people including : 112 permanent faculty; 88 PhD students; 27 engineers, technicians, administrative staff
Publications : more than 2000 during the period 2010-2014
Academic partners (non-exhaustive list)
University of Vienna Austria, University of Montreal, Concordia University Montréal, Toronto University, MacMaster University
Hamilton, TU Dresden, Pisa University, Milano University, University of Tokyo, Kyoto University, Vrije Universiteit Amsterdam,
ETH Zürich Switzerland, Imperial College London, University of Manchester, University of Oxford, University of California at
Berkeley, Davis, San Diego, Santa Cruz, City College of New-York, University of Minnesota Minneapolis, Stanford University
Industrial partners (non-exhaustive list)
EDF, Thalès, Télécom, L’oréal, Schneider, Daimler, Dassault, SAP Sirehna, Philips, IBM, Nokia, STMicroelectronics, EADS…
Contact
Web page : http ://www.lri.fr
Head : Yannis Manoussakis
Tel : +33 (0) 1 69 15 66 76 Fax : +33 (0) 1 69 15 65 79
Mail : direction @lri.fr
Structural
Bioinformatics
Methods
in
machine
learning,
algorithmics
and
combinatorics
Prediction
of
intermolecular
interactions
Protein‐protein
interactions
Protein‐RNA
docking
Bioinformatics
for
RNA
structures
Sequence‐structure
comparison
Design
and
drawing
of
structures
3D
structure
modeling
Software
:
Varna,
GenRGenS…
Integration of Data
and Knowledge
Goals: Achieve interoperability of heterogeneous
data sources
Scientific contributions:
- Ontology alignment Framework
- Management of mapping evolution between dynamic
ontologies
- Logical and numerical approaches for data linking Linkage rules discovery
- Data fusion based on data quality
Algorithms
for
networked
systems
_________________Goals_____________________
Design
efficient
modeling,
control
and
performance
optimization
algorithms
Tailored
for
.
networked
.
distributed
systems
________Scientific
contributions________
Both
theoretical
Development
of
new
Mathematical
modeling
Techniques
and
proofs
…
and
applied
Development
of
innovative
tools
For
the
optimal
planning
ands
Ressource
allocation
in
networks
________________Objectives________________
Establish
theoretical
building
blocks
for
the
design
and
optimizatio
of
networked
systems,
including
:
.
Algorithmic
Game
Theory
.
Control
Theory
.
Distributed
Algorithms
.
Discrete
Event
Simulation
Interaction off-the-desktop
We create new forms of interaction on devices ranging from mobile phones, tablets and interactive paper to large digital tabletops and wall-size
displays. We explore how new paradigms e.g., multi-surface and whole body interaction, can significantly improve the user experience.
Musink
WILD pan-and-zoom
Network with infrastructure
BiPad
Performance optimization
Rhythmic interaction
Multi-hop wireless network
High
performance
computing
Distributed
algorithms
Parallel
Architectures
Recommendation systems applied to the social web
and to user-oriented Simulation of Information
Systems of SmartGrids
Verification
of
Algorithms,
Languages
and
Systems