2 Organization and governance
2.1 Principal Investigator
C. Paulin-Mohring received her PhD in computer science fom Univ. Paris 7 in 1989. She is a full professor at U. Paris-Sud since 1997, after having been a teaching assistant at ENS (1985-89) and a junior CNRS researcher at ENS Lyon (1989-97). She conducted research in several laboratories (LIENS, INRIA, LIP) and is now working at Laboratoire de Recherche en Informatique (LRI) in the ProVal project team joint with INRIA Saclay – Île-de-France. Her research interests include proof assistants (she is an early contributor to the Coq tool) and their application to program certification. Her contributions are in the area of program extraction from proofs, inductive definitions and modelisation of programs. She will receive an honorary doctorate from University of Göteborg in October 2011.
C. Paulin has been leading research projects in Lyon and Orsay. She is in charge of doctoral studies in Computer Science at U. Paris-Sud since 2005 (200 PhD students). She was deputy scientific director of INRIA Saclay-Île-de-France from 2007 to 2010. She is a member of the scientific board of ENS Cachan since 2010. She is deputy director of LRI since September 2011.
The DigiWorlds partners feature a diversity of structures: pure research institutions, universities, Grandes Ecoles, each with different contributions and expectations in terms of fundamental research, education and innovation. All members will benefit from DigiWorlds. Those, such as INRIA and Institut Télécom, that have ICT as their primary domain will cooperate to avoid duplication of activities. Those with a smaller number of researchers and students in ICT will benefit from the momentum generated by DigiWorlds.
The research units descriptions below list the teams participating in DigiWorlds, highlight some key people and link to a selection of publications.
2.2.1 Partner 1: LRI, Laboratoire de Recherche en Informatique, UMR 8623 UPSud & CNRS
LRI, (head Ph. Dague) is the Laboratory for Computer Science at U. Paris-Sud joint with CNRS. It consists of eleven research groups (seven are joint with INRIA Saclay) and has around 260 members (72 prof. and assistant prof., 27 CNRS and INRIA researchers, 90 PhD students). In 2009, LRI received the global AERES evaluation A (A for scientific quality and governance, A+ for attractivity and scientific project). Current LRI members who have received prizes and awards include: M.-C. Gaudel, CNRS Silver Medal (1996), Doctor Honoris Causa of EPFL; M. Beaudouin-Lafon, member of the ACM-SIGCHI Academy (2006) and senior member of the Institut Universitaire de France (2011); C. Puech, first Eurographics Distinguished Career Award (2004); Y. Ollivier, CNRS Bronze Medal (2011); C. Appert, Gilles Kahn PhD award (1st prize, 2007). LRI members have also been successful in international competitions (SAT solvers, Go tournaments). LRI is one of the leading actors of Digiteo (the program committee is chaired by a LRI member). It is involved in all working groups of Systematic and is active in ICTLabs (K. Al Agha is leading the action line on Digital Cities). Two start-up have been recently created by LRI members. LRI has coordinated the proposal for the DIGISCOPE platform (accepted) and is a partner in the future IRT SystemX. All LRI teams contribute at least partially to DigiWorlds, which is coordinated by a LRI member.
- The SciLex action line covers the core research topics of two teams: ProVal [134, 110, 86, 145, 146] (joint with INRIA, C. Paulin) develops methods and tools to produce formal proofs of program correctness, including floating point computations (tasks 2,3); ForTesSE [124, 123, 109, 103, 102] (B. Wolff) focuses on formal verification and test of software systems, including distributed systems (Web services) (tasks 1,3). The Parall team  (Grand Large INRIA team, B. Rozoy) will also contribute on fault tolerance (task 1), and P. Dague [186, 178] (IASI team) on diagnosability (task 2).
- The ComEx action line involves the Networking team [192, 236, 209, 212, 198, 223] (K. Al Agha), which conducts research in wireless and mobile ad hoc networks and sensor networks, addressing issues such as quality of service, security, and energy consumption. It participates in task 3, studying in particular game theory methods. Some members of the GraphComb team [191, 229, 190] (A. Lisser) are involved in task 2, using global optimization tools for network engineering.
- The DataSense action line, coordinated by a LRI member, involves several teams. BD [271, 272, 299, 298, 327, 328] (N. Bidoit) and IASI [319, 250] (C. Reynaud) (both joint with the Leo INRIA team) study the management of distributed and heterogeneous data and knowledge (tasks 1,2). Since molecular biology is another source of large and heterogeneous data, the Bioinfo team [342, 366, 301, 362, 297, 284] (joint AMIB INRIA team, C. Froidevaux) will participate in task 1. The topic of tasks 3 and 4 is to produce new knowledge from data, thanks to machine learning and distributed decision making methods; it is the core research lines of A&O [381, 359, 363, 314, 317] (joint with TAO INRIA team, M. Sebag). Specialized in statistical learning, evolutionary computation, continuous optimization and optimal decision making, A&O obtained remarkable results with its Mogo software for the game of Go. Algo (Y. Manoussakis) and GraphComb [337, 336, 311] (A. Lisser) will also be partially involved with game theory methods in task 3 and deterministic and stochastic combinatorial methods for multi-objective policy optimization applied to power management in task 4. Finally, In Situ (joint with INRIA, M. Beaudouin-Lafon) is internationally famous for developing novel interaction techniques as well as tools to control the design process of situated interfaces [290, 330, 318, 356, 372, 263]. It will contribute to task 5 on interaction and visualization, leveraging the unique interactive wall display (WILD, 131 Mpixels, 32 screens) and very soon the DIGISCOPE platform hosted at LRI.
LRI members are strongly involved in Computer Science education at all levels (programs evaluated A and A+ by AERES). At the Masters level, N. Bidoit heads the IAC specialty (part of ICTLabs Masters in Distributed Systems and Services), M. Beaudouin-Lafon heads the Interaction specialty (part of the ICTLabs Masters in HCI), A. Denise heads, jointly with the Biology Department of Paris-Sud, the Bioinformatics and Biostatistics Masters, and C. Paulin participates in the MPRI educational committee. C. Paulin heads the EDIPS (ED 427) Doctoral School in Computer Science at Paris-Sud.
2.2.2 Partner 2: LIMSI, Laboratory for Mechanics and Engineering Sciences, UPR 3251 CNRS
LIMSI (head P. Le Quéré) is a CNRS laboratory tightly linked with University Paris-Sud. LIMSI is operated by the CNRS Computer Science Institute (INS2I), with secondary attachment to the Engineering Institute of CNRS (INSIS). Its three main research domains are automatic language processing, man-machine interaction and interfaces and fluid mechanics and heat transfer. Only the first two domains are relevant to DigiWorlds, although the mechanical engineering department is involved in High Performance Computations that are directly related to massive data information processing.
The part of LIMSI that is involved in DigiWorlds comprises 20 CNRS researchers, 35 professors and associate professors who are supported by 25 research engineers and staff. LIMSI also hosts more than 20 post-doctorates and 40 PhD Candidates. LIMSI researchers will contribute to the DataSense action line.
The automatic language processing research theme will contribute to tasks 2 and 3. It deals with the three modalities, spoken language, written text and sign language and concerns two research groups, the Spoken Language Processing (TLP) group [300, 368] and the ILES group. The research carried out by TLP aims at understanding the speech communication processes and at developing models for use in automatic speech processing. The problems that are addressed concern modeling at multiple levels (acoustic, lexical, syntactic and semantic) as well as the communication process. This research area is inherently multidisciplinary, requiring skills in signal processing, acoustics, phonetics and phonology, linguistics, statistical machine learning and computer science. These research activities are validated by developing systems for automatic speech processing such as speech recognition , spoken language dialog, automatic translation  and indexation of audio  and video documents . The ILES group focusses primarily on natural language processing (analysis, comprehension or generation, as well as acquisition of knowledge, mostly morphological and semantic). The research aims at developing advanced query systems to answer questions asked in natural language from heterogeneous massive data on the web. The research for sign language modeling and processing aims at modeling LSF functioning, at the lexical and utterance levels. It relies on corpora studies on French Sign Language (LSF) for elicitation, annotation and linguistic modeling. It develops systems for virtual signer animations, based on LSF utterance generation and animation control.
The man-machine interaction and interfaces theme will contribute to task 5. It involves four research groups, the Audio-Acoustic group (AA), the Architectures and Models for Interaction group (AMI), the Virtual and Augmented Reality group (VENISE) and the Cognition, Perception and Uses group (CPU). It aims at developing new paradigms for multimodal interfaces based on vision, audio and haptic modalities. All these modalities are combined in different interaction devices, such as interactive tools (2D tables, 3D screens, ambiant and immersive environments). On the one hand the research aims at developing more natural and friendly ways to interact with the machine (virtual and expressive characters), with a strong emphasis on the emotional characteristics and more generally on affective computing. On the other hand, it relies on taking into account the human being as part of the interaction loop, which requires cognitive studies of the human perception processes.
Together with their colleagues at LRI, LIMSI researchers participating in DigiWorlds contribute to Computer Science education at the undergraduate and graduate level (including the engineering school Polytech Paris-Sud). They are strongly involved in two specialties (Information, Learning, Cognition as well as Interaction) of the Paris-Sud research Masters in Computer Science. PhD students in DigiWorlds are enrolled in the EDIPS doctoral school.
2.2.3 Partner 3: CEA LIST Laboratoire d’Intégration des Systèmes et des Technologies
CEA LIST Institute is an RTO (Research and Technology Organization), which works on technologies of digital systems. With 650 researchers the institute concentrates its R&D programmes on six themes with high economic and societal stakes: embedded architecture & software, systems & software engineering, ambient intelligence, sensors signal & information, non destructive testing and metrology.
By developing cutting-edge technological research, CEA LIST enhances the industrial competitiveness of its partners through innovation (patents) and technological transfer. The majority of its activity is thus focused on joint research with 80 key industry partners – large companies and SMEs. Over 200 contracts are signed per year, 10 high-tech start-ups have been created since 2001, a portfolio of 215 patents is implemented at the international level, corresponding to 70 active licenses.
CEA LIST activities are present throughout the innovation chain, from system design to pre-industrial demonstrators. Constant efforts are made to ensure that these activities fall within the scope of technological roadmaps elaborated in 19 joint laboratories and R&D programmes implemented between CEA LIST and industry partners. The Carnot Label was awarded to CEA LIST in 2006 and renewed in 2011, thanks to the quality of its joint research.
The Institute is deeply involved in European research through participation in a large number of FP7 projects as well as Networks of Excellence. The Institute is also an active partner of several European Technology Platforms such as Artemis for embedded systems, Europ for robotics or Smartgrid, and it participates in the elaboration of their research roadmaps.
The three challenges that constitute the main action lines of DigiWorlds are fully aligned with one of the two structuring programmes of CEA LIST on software-based technologies. The expert researchers that belong to the 8 laboratories involved in these challenges will participate in the R&D programmes of the LabEx. They will all be located either in the Moulon Digiteo building or in the NanoInnov building where they will be mixed with other DigiWorlds partners.
These experts will conduct research in close collaboration with other partners in the three challenges with a clear focus on distributed digital systems:
- In the SciLex action line, their contribution will cover the whole programme, from mobile and reconfigurable distributed programs to quantitative verification of hybrid systems and certification [160, 115, 161, 159, 88, 139];
- In the ComEx action line, the activity of the Institute will cover the whole program. It will be mainly focused on network information theory, including distributed coding, network architecture, resource management (mainly based on swarm intelligence) and cloud computing [195, 243, 242, 238, 244, 240];
- In the DataSense action line, they will work on heterogeneous data modeling, meta-heuristic for learning and distributed decision systems as well as interaction [268, 267, 269, 343, 321, 322, 344].
High-level researchers of the Institute will participate in the LabEx beside the other experts of the Institute. These senior researchers who participate in the definition of the strategy of the Institute will act as key scientific representatives: Eric Goubault, Benjamin Monate, François Terrier, Antony Larue, Laurent Chodorge, Michel Aupetit, Olivier Gal, Mohamed Kamoun, Renaud Sirdey, Moustapha Hafez, Jean-Noel Patillon.
Several researchers hold joint teaching positions, with INSTN, but also with Ecole Polytechnique. CEA LIST researchers are also advising PhD students formally enrolled with universities but performing their research in a CEA lab. Among academic awards, one can mention that Olivier Bouissou who received the Gilles Kahn PhD award (2nd prize,2009), now has a permanent position at CEA LIST and Xavier Allamigeon received the Gilles Kahn PhD award (1st prize, 2010) for a thesis jointly directed with INRIA Saclay.
2.2.4 Partner 4: MAS, Applied Mathematics and Systems, EA 4037 ECP
Ecole Centrale Paris (ECP) is one of the most prestigious engineering schools in France. It is a center of higher education and research providing undergraduate and graduate programs in engineering, science and technology. Since 2003, the laboratory conducts research in mathematics and computer science along the three following directions: computer sciences (formal methods, business intelligence), probabilistic modeling and statistics (plant growth, quantitative finance), partial differential equations and numerical analysis. There are several collaborations with academic partners (INRIA, CEA, ENS Cachan, ENPC, Polytechnique, LIAMA (China), Supelec) and with industry partners (chair in Quantitative Finance with BNP Paribas, chair in Business Intelligence with SAP BusinessObjects). The laboratory consists of 25 permanent researchers and 50 PhD students. Five researchers were awarded the PES premium and one received a European Research Council award on the topic of Biomedical Perception Paradigm for Computer Aided Diagnosis and Longitudinal Organ Modeling (DIOCLES). PhD students are enrolled with the local doctoral school (ED 287, Sciences pour l’Ingénieur, graded A by AERES).
The MAS laboratory, mainly through its research team LOGIMAS (Logical Approaches for Modelling and Analyzing Systems and Data), is heavily involved in ICT (computer and system science) research activities. The LOGIMAS team is composed of 4 full researchers: Pascale Le Gall, professor at University of Evry, head of LOGIMAS; Marc Aiguier, professor at ECP, head of the computer science department; Paolo Ballarini and Céline Hudelot, associate professors.
The research domain of LOGIMAS is the definition of rigorous methods and techniques devoted to the design and validation of complex systems such as industrial software-intensive systems and biological systems. The LOGIMAS team develops formal methods (structuring, refinement, test, …), to facilitate the design, management, understanding and verification of complex systems (software, hardware, biological, etc.). Hence, the team investigates complex systems defined in a recursive way as sets of of distributed and hybrid sub-systems (i.e. both continuous and discrete) interconnected by architectural connectors. LOGIMAS studies emerging properties that underly such structures, i.e. properties of global systems that rest on local ones, and also the preservation of properties along different abstraction levels (so-called refinement steps). LOGIMAS will contribute to the SciLex action line, tasks 1 and 3.
The LOGIMAS team is also heavily involved in ICT teaching activities proposed at ECP. The MAS laboratory hosts the Computer Science department that provides high-level teaching programs in ICT at the graduate level. Among others, this department proposes three graduate training schemes in software engineering, computer science and advanced systems in the third year of ECP’s curriculum. Every year, about sixty students of ECP follow these curricula and three to five of them continue into a PhD thesis. Moreover, the researchers of the LOGIMAS team are also involved in other research Masters, all located in the greater Paris area. In particular, they are involved both in the COMASIC Masters (COnception et MAnagement des Systèmes Informatiques Complexes) graded A by AERES, coordinated by Ecole Polytechnique in collaboration with Univ. Paris-Sud, CEA, Supélec and Telecom ParisTech as well as in the SSB Masters (Systemic and Synthetic Biology), coordinated by the University of Evry and Genopole.
2.2.5 Partner 5: UEI, Laboratory of Electronics and Computer Engineering, ENSTA ParisTech
Originally founded in 1741, ENSTA-ParisTech is today one of the top French institutes for higher education in engineering. Its students are selected among the brightest science students of each generation. Situated in Paris, ENSTA offers a comprehensive scientific education, training in a broad range of technological areas, as well as in the management skills necessary to an engineer. Its five laboratories enjoy excellent facilities and perform top-level fundamental and applied research.
The Electronic and Computer Science Department (UEI – Unité d’Électronique et d’Informatique, head Alain Sibille) of ENSTA ParisTech conducts research in two broad themes: Safety & Security, and Cognitive robotics & Perception.
Safety and Security: The primary research topic of this group is the development of methods to design safe and secure systems.
Cognitive robotics and Perception: The main research topic of this group is human-robot interaction, navigation, learning and development for autonomous robots with a focus on visual perception.
Only the Safety & Security theme contributes to DigiWorlds.
UEI is composed of 13 researchers and 18 PhD students and Postdocs, who published during the 2006-2009 period 36 journal articles, 3 books or book chapters and 120 communications in international conferences.
UEI has been evaluated in 2004 by an Evaluation Commission composed of well-known personalities who did recognize the quality and potential of the laboratory. The laboratory is composed of young promising researchers, including Adriana Tapus who was a successful candidate to a Chair of Excellence from the French ANR in 2009, and who received the 2010 Romanian Academy Award Tudor Tanasescu for her contributions in Assistive Robotics.
Selected members of the Safety and Security group will contribute to the 3 tasks in the SciLex action line.
The topics addressed by the Safety and Security group include the static analysis of hybrid systems (A. Chapoutot, task 2), the design and usage of formal methods to jointly analyze and verify hardware and software (B. Monsuez), and the extension of programming tools to the verification of program properties (M. Mauny and F. Pessaux), both contributing to task 3.
In 2012, the group activities will include security, with the integration of M. Finiasz and F. Levy-dit-Vehel, who represent the ENSTA part of the future “GRACE” INRIA-ENSTA-X joint research group, and who address security issues through the study and use of cryptography. This group will contribute to task 1.
The project of establishing an international L3-M1 curriculum common to several educational institutions is of particular interest to ENSTA-ParisTech: it would provide an alternative computer science curriculum to specially motivated students.
2.2.6 Partner 6: LSV, Laboratoire Spécification & Vérification, UMR 8643 ENS Cachan, CNRS
Founded in 1997, the Laboratoire Spécification et Vérification (LSV, head L. Fribourg) is the computer science laboratory of ENS de Cachan. It is affiliated with the French Centre National de la Recherche Scientifique (CNRS) since its creation in 1997, and benefits from the support of INRIA since 2002. Since Nov. 2006, LSV is a member of Institut Farman, which gathers five laboratories of ENS Cachan around modeling, simulation and verification of complex systems. LSV currently hosts 24 permanent researchers (9 CNRS, 5 INRIA and 10 ENS Cachan).
LSV devotes most of its research efforts to the study of the specification and verification of critical systems. The goal is to develop languages and formal methods for expressing and proving correctness of those systems. This sometimes leads to the development of tools for automatizing correctness proofs or finding bugs. LSV researchers apply their results in tight collaboration with industry partners such as Alcatel, Électricité de France, France Télécom or STMicroelectronics.
The laboratory is structured around five research themes, corresponding to five applications of our techniques. All teams will participate in the DigiWorlds project. Most of them (Secsi, Mexico, Tempo, Infini) will contribute to the SciLex action line. Dahu will participate in the DataSense action line.
- DAHU (L. Segoufin, S. Abiteboul, S. Demri): specification and verification of systems handling large-scale, distributed databases, such as web services. This team contributes to task 2 of the DataSense action line in interaction with task 1 of the SciLex action line [278, 332, 302, 345, 256, 253].
- Infini (P. Schnoebelen, A. Finkel): automatic verification of infinite-state systems (programs involving unbounded data, communicating processes, parameterized systems, etc.) This team contributes to task 3 of the SciLex action line [112, 128, 144, 149, 97].
- Mexico (S. Haar, P. Gastin): verification of distributed and concurrent systems. This team contributes to task 2 of the SciLex action line [107, 94, 119, 155, 162, 91, 154].
- SecSI (J. Goubault-Larrecq, H. Comon-Lundh, S. Delaune): security of information systems, from security protocols to intrusion detection. This team contributes to task 1 of the SciLex action line [131, 113, 133, 142, 132].
- Tempo (P. Bouyer-Decitre, N. Markey): verification of real-time systems, where quantitative aspects about time are crucial for specifying and verifying correctness. This team contributes to task 2 of the SciLex action line [121, 140, 122, 82, 107].
The SecSI, Mexico and DAHU groups are joint with INRIA Saclay – Île-de-France.
The lab is ranked A+ by the AERES evaluation agency.
Patricia Bouyer was awarded the CNRS Bronze Medal. She was also awarded the Presburger Prize from EACTS (2011).
Hubert Comon-Lundh was awarded the CNRS Silver Medal (2008).
Jean Goubault-Larrecq was awarded the CNRS Silver Medal (2011).
LSV members are involved in teaching from the L3 level to the PhD level. Hubert Comon-Lundh is the head of the MPRI Masters in computer science. The 17 PhD students at LSV are enrolled in the doctoral school Practical Sciences (EDSP, ED 285) of ENS Cachan.
2.2.7 Partner 7: LIX, Laboratoire d’Informatique de l’X, UMR 7161 Polytechnique & CNRS
LIX (head O. Bournez) is the Laboratory for Computer Science of Ecole Polytechnique (joint research unit with CNRS). It consists of eleven research groups, six of which are joint with INRIA Saclay. LIX has a joint research team on the topic of complex systems with the LIST laboratory (CEA). It comprises about 130 people (21 CNRS, 14 INRIA, 9 prof. and assistant prof., 5 CEA, approximately 50 PhD students). In 2008, LIX was graded A+ by AERES. LIX members who received prizes and awards in the last year include: Michel Fliess, Innovation prize, Sysmo team, winner of the ROADEF/EURO Challenge, Xavier Allamigeon, Gilles Kahn PhD award. LIX currently hosts two ERC starting grant awardees (Manuel Bodirsky and Gilles Schaeffer). LIX is one of the leading actors of Digiteo.
LIX benefits from a strong local institutional support and manages a large number of research contracts with national and international public institutions. It also regularly collaborates with industry through strong interactions with the Systematic world-class competitiveness cluster. LIX hosts two unique industrial training & research chairs in computer science from Ecole Polytechnique: one devoted to Engineering of Complex Systems (supported by Thales) and the other to Optimization for Sustainable Development (supported by Microsoft).
All LIX teams contribute to DigiWorlds at least partially.
- The SciLex action line addresses the core research topics of several teams. TypiCal [85, 98, 158, 153] (joint with INRIA, B. Werner) works on general-purpose formal proofs in Coq and certified computations. Comète (joint with INRIA, C. Palamidessi) develops concurrent, mobile, distributed and probabilistic computational models for the design of programming platforms for secure distributed applications on mobile networks. The MeASI research team of CEA-LIST (E. Goubault) focuses on verification of hybrid systems with a strong numerical component and on parallel and distributed systems. MeASI develops theoretical and static analysis tools based on abstract interpretation. Parsifal [92, 130, 151, 151, 184] (joint with INRIA, D. Miller) examines the logical foundations of programming and verification, with applications to safety protocols and correction code based on the mobile paradigm called “proof carrying code”. Cryptology (joint with INRIA, D. Augot) is specialized in algebraic curves algorithms. Its goals are to construct resource-efficient crypto-systems for use in constrained environments, such as smartcards, and it will contribute to task 1. The Algebraic Models & Symbolic team [105, 96, 179, 165] (M. Giusti) works on improving basic symbolic computation algorithms, studying complexity in algebraic geometry, and developing new methods for command, identification, estimation and signal processing; it will contribute to task 2. The Algorithmics and Complexity team [116, 118, 87, 117] (M. Hermann) is interested in constraint satisfaction problems, complexity problems, algorithmic game theory and algorithms in general. It will contribute to task 2. The Systems Modelling & Optimization team [173, 174, 101, 135, 81] (L. Liberti) studies the modeling and optimization of complex industrial systems from the point of view of their architecture and behavior. It works on theoretical, methodological and practical innovations in systemic modeling and combinatorial optimization, and will contribute to task 3.
- ComEx action line: The Hipercom team (T. Clausen) works on the design and to optimization of communication algorithms to obtain the best possible performance from wireless media. The team is part of the INRIA project Hipercom (P. Jacquet). It will contribute to task 1.
- The DataSense action line involves several teams. The Bio-informatics team (joint with INRIA and U. Paris-Sud, M. Régnier) is mainly interested in bio-algorithms. It works on structural, functional and evolutional models. By identifying 3D structures in the genome, its techniques lead to new models of transmembrane protein folding. It will contribute to tasks 1 and 2. The Combinatorial Models team [125, 150, 127, 80] (G. Schaeffer) studies combinatorial properties of complex objects (random graphs, numeric signals) with applications in statistical physics, computer graphics and communications. It will contribute to task 2.
2.2.8 Partner 8: INRIA Saclay - Île-de-France
INRIA Saclay – Île-de-France (INRIA-Saclay for short, head N. Boujeema) was officially created in 2008, after 6 years of incubation. Today, INRIA-Saclay employs 120 permanent researchers (civil servants), 135 PhD students, 50 post-docs and engineers, anf 60 people in support services. The total running budget in 2011 is 12 M€ (plus 10.5 M€ for civil servant salaries), of which 7.9 M€ come from 130 external contracts. 24 out of the 27 INRIA-Saclay’s project-teams (autonomous small groups of researchers that share a common scientific agenda) are joint teams with one or more of its research partners (CNRS, École Centrale Paris, ENS Cachan, École Polytechnique, Supélec, Univ. Paris-Sud). INRIA-Saclay is a founding member of Digiteo, and was ranked A+ by AERES in 2009.
Research at INRIA-Saclay tightly interweaves computer science and mathematics in three areas:
- Software security and reliability: Advanced models for security and program analysis methods that scale up are needed to improve the reliability of increasingly complex software components, while rigorous and original mathematical approaches (e.g., elliptical curves for cryptography, type theory as a support for computer-assisted proofs, probabilistic models) are mandatory in order to raise users’ confidence in computational technologies. Six teams, Comete (C. Palamidessi) [84, 83, 129], Parsifal (D. Miller) [130, 151, 152, 184], ProVal (C. Marché) [88, 110, 134, 111], SecSi (J. Goubault-Larrecq) [131, 113, 142, 133], TANC (D. Augot) [188, 182, 138, 163], and Typical (B. Werner) [153, 106, 98] contribute to the different tasks in the SciLex action line.
- Internet of the future and high-performance computing: Computing today is characterized by huge heterogeneity: the data deluge requires new methods for data exploration, restitution, interaction and visualization, with an emphasis on learning techniques; Efficient use of emerging computing approaches (grids, cloud, …) requires new communication protocols, algorithms, programming models, architectures and compilers, with an emphasis on fault-tolerance. Six teams contribute to this theme: In the SciLex action line, Grand-Large (B. Rozoy) for task 1; In the ComEx action line, Hipercom (P. Jacquet) [206, 194]; In the DataSense action line, DAHU (L. Segoufin) [367, 278, 357, 273] and LEO (I. Manolescu) [319, 348, 279] for tasks 1,2 and AVIZ (J.-D. Fekete) [379, 275, 307] and In Situ (W. Mackay) [290, 330, 318, 356] for task 5.
- Modeling, simulation and optimization of complex dynamic systems in biology and health: From physics and biology to communication networks, modeling allows to simulate, optimize and ultimately control complex systems. INRIA-Saclay focuses on medical image processing, shape recognition, plant evolution model design, and understanding the human brain. In the DataSense action line, AMIB (M. Régnier) [366, 301, 362, 297] and Geometrica (F. Chazal) [292, 294, 291] contribute to tasks 1, 2 and Parietal (B. Thirion) and TAO (M. Schoenauer) [265, 276, 266] to tasks 3, 4.
Education: INRIA researchers contribute to several teaching programs at U. Paris-Sud and Grandes Ecoles. 135 PhD students work in INRIA project-teams, (co-)supervised by INRIA researchers. INRIA-Saclay collaborates with Académies of Versailles and Créteil in order to proactively popularize digital sciences amongst young pupils, e.g. by participating in the training of high-school teachers. INRIA also participate in the dissemination of digital sciences to a wide audience at events such as Fête de la Science, Salon culture et jeux mathématiques (Paris), or Nuit des Chercheurs at École Polytechnique.
Innovation INRIA-Saclay is strongly integrated with the regional competitiveness clusters in digital sciences: Systematic, Cap Digital, Advancity and Astech. INRIA also directly collaborates with both SMEs and large companies in domains such as aerospace, petroleum industry, software engineering (see the Joint Lab with Microsoft Research, created in 2007).
Visiblity: • S. Abiteboul (Dahu/WebDam), ERC Advanced grant (2008); member, Académie des Sciences (since 2009); Chaire informatique et sciences numériques, Collège de France (2011).
• Gilles Kahn PhD award: 2nd prize 2008 (Comete, TAO).
• Test-of-time awards (most influential papers) for ACM PODS Mendelzon prize 2008 (Abiteboul and Duschka, Dahu/WebDam) and LICS 2011 (Miller and Hodas, Parsifal).
• Selfridge Prize 2008 (Tanc); 1st prize IPC 2011 temporal track (Tao).
2.2.9 Partner 9: INRIA Paris - Rocquencourt
The Inria Paris-Rocquencourt research center (head I. Ryl) comprises 33 research teams, totaling roughly 470 scientists including more than 120 permanent researchers, located in Rocquencourt — together with the headquarters of Inria — west of Paris, as well as inside Paris. The teams in Inria Paris-Rocquencourt enjoy very good international recognition.
Among its many collaborations, the center plays an important role in the competitiveness clusters Cap Digital, Moveo and Systematic. It is a founding member of the RTRA Digiteo. In close relation with Universities and Grandes Ecoles in the Paris area, Inria Paris-Rocquencourt is paying special attention to training by and for research. Its researchers teach in the main Masters in computer science of the Paris area and the center hosts around 150 PhD students in its teams.
The scientific priorities of Inria Paris-Rocquencourt cover three main areas:
- Networks and communication systems. The web, cell phones or wifi hot-spots rely on networks and systems of higher and higher levels of sophistication. Inria Paris-Rocquencourt intends to keep bringing major contributions to improving the performances and security of these infrastructures, notably in peer-to-peer networks and computer grids.
- Reliable software and security. Our environment is more and more filled with technological products that contain a large and often invisible software component — from smart cards to cell phones, from cars to planes, from doctor’s offices to operating room. Inria Paris-Rocquencourt develops tools for faster design of more and more efficient and reliable software.
- Life and environment modeling. Recent techniques in experimental biology, progress in medical imaging, data from satellites and sensors lead to massive amounts of data. The center develops mathematical models and complex computer algorithms to automate the treatment of such data.
AERES awarded the highest possible grade (A+) to Inria Paris-Rocquencourt for its last evaluation in 2008. The researchers of the center include three members of the French Academy of Sciences, three recipients of ERC advanced grants, three recipients of ERC junior grants, a senior member of the “Institut Universitaire de France”, a member of the Royal Society, a recipient of an ANR long-term junior research chair.
An important part of the research led at the center takes place in the framework of the Labex “Sciences Mathématiques de Paris” (SMP). Teams involved in SMP are therefore not participating in the DigiWorlds proposal, but Inria will encourage strong collaborations.
The teams involved in DigiWorlds are:
- AOSTE [176, 187, 157] (17 researchers, including Inria permanent researchers: Dumitru Potop Butucaru, Yves Sorel) contributes to the task 2 of the SciLex action line;
- ARLES [203, 220, 201, 230] (15 researchers, including Inria permanent researchers: Animesh Pathak, Nikolaos Georgantas, Valérie Issarny) contributes to the ComEx action line;
- HIPERCOM [194, 206, 222, 221], joint team with INRIA Saclay 2.2.8 and LIX 2.2.7 (16 researchers, including Inria permanent researchers: Cédric Adjih, Pascale Minet, Paul Muhlethaler, Philippe Jacquet) contributes to the ComEx action line;
- SMIS [261, 260, 378, 282, 281, 262], joint team with PRISM 2.2.14 (7 researchers including Inria permanent researchers: Luc Bouganim, Nicolas Anciaux) contributes to task 1 of the DataSense action line.
2.2.10 Partner 10: LTCI, Laboratory Traitement et Communication de l’Information UMR 5141, Télécom ParisTech CNRS
Télécom ParisTech (head H. Maître) is a member of Institut Télécom, a public institution reporting to the French Ministry for Industry. Its missions are to conduct research in information science and technology and to educate students in digital technologies at the Masters and PhD levels, with the goal of maintaining the economic competitiveness of France and the development of French society in telecommunications in their broadest sense.
To this end the laboratory conducts research in close liaison with corporations, whether they are core telecom businesses such as operators or equipment manufacturers, whether they develop related services, or whether they merely use modern technologies for transporting or managing information for their own needs or those of their clients. This also explains its research on usage — corporate usage, public usage or usage of citizens — since it is clear that no technical advance can carve out its place today without being accompanied or preceded by ergonomic, sociological and economic studies.
In this broad group of domains, referred to as digital life, Telecom ParisTech and CNRS have created LTCI, a joint research laboratory with the ongoing role to be open, available and attractive to young minds tempted by the scientific adventure. Its large doctoral school (currently more than 350 PhD students) is living proof of this vitality.
With an academic staff of 150 professors and associate professors, with 31 scientists from CNRS and 200 PhD students in its labs, Télécom ParisTech has a unique research and education potential dedicated to ICT. On the education side, our goal is to maintain and enforce top-level scientific training by closely following the accelerated evolution of knowledge and technologies in ICT. We deliver degrees at the engineer, Masters and PhD levels. On the research side, our dual objective is to target both the excellence of our upstream work and the importance of its role in the economy.
Contribution to the project in terms of research, education and innovation.
The DigiWorlds project directly supports Telecom ParisTech’s strategy in three domains where we are already recognized as a key player and where we intend to strengthen our efforts:
- In the SciLex action line, we are paying major attention to the security issues of large and complex critical infrastructures, with a specific focus on the joint software and hardware optimization of security. Two groups will contribute to this action line: On the software side, the S3 group of the InfRes department (I. Demeure, G. Memmi) [180, 172]; On the hybrid side, the SEN group of the ComElec department (JL. Danger) [177, 181]).
- In the ComEx action line, our lab evenly covers the whole project, from digital communication theory to distributed networked architectures and from optimization theory to resource management. The ComNum group of the ComElec department (JC. Belfiore, P. Ciblat, W. Hachem) [233, 241, 226] and the RMS and RS groups of the InfRes department (M. Gagnaire, D. Rossi, C. Chaudet) [211, 200, 199] will participate in this action line.
- In the DataSense action line, we are already recognized in statistical learning methods, distributed data bases, distributed data management and web mining [249, 347, 303]. The IC2 group of the InfRes department (P. Senellart, T. Abdessalem, B. Cautis) will contribute these topics, with a strong participation from the TSI department (I. Bloch, O. Cappé) [352, 288], and, on the visualization aspects, from the VIA group (E. Lecolinet) [346, 277].
Télécom ParisTech is pushing to have a strong presence at Palaiseau as part of the IDEX Paris-Saclay project. This presence should start around 2012 with the installation of activities in the context of the Nano-Innov program, and will come into full play in 2016 with the construction of a dedicated building.
2.2.11 Partner 11: SAMOVAR, UMR 5157 Télécom SudParis, CNRS
SAMOVAR (head J.-P. Delmas) stands for Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Distributed services, architectures, modeling, validation and administration of networks). It is the main research laboratory of Télécom SudParis (member of Institut Télécom). It federates the research activities of Télécom SudParis in the area of computer and telecommunications systems and networks modeling, design, characterization and evaluation. The laboratory aims at becoming a major contributor at the national and international levels in information and communication technology (ICT) research. Its goal is to invent future networks and services and, in the long term, to develop a network science with the national, European and international scientific community. SAMOVAR is currently composed of 52 full-time faculty members, 150 doctoral students and 20 research assistants and engineers striving for excellence and contributing to future networks and media services evolution.
DigiWorlds has set the modeling, design, optimization and operation of large distributed infrastructures of connected entities and objects as central goals. As this is perfectly in line with the objectives and ambitions of the SAMOVAR teams, selected faculty and researchers from the laboratory will naturally join the LabEx. These members have in-depth knowledge in modeling, analysis, design and optimization of distributed systems and software and telecommunications networks and services, including wireless and broadband networks. Additional research activities include statistical learning, pattern recognition, multimedia and visual content representation, modeling, processing and management. SAMOVAR research activities are organized in topics that relate to a fundamental discipline, playing the role of a foundation for SAMOVAR, and in horizontal activities addressed by several members from the four SAMOVAR teams. The main horizontal activities are: security of systems and critical infrastructures, middleware, semantics and ambient intelligence to address awareness in systems and formal models, testing and validation to qualify protocols, services and applications and provide proof.
The selected members of SAMOVAR that will join DigiWorlds conduct research in the ComEx action line on the following topics:
- Combinatorial optimization as a discipline applied to communications and computer networks and complex systems modelling, optimization, control and management;
- Network models and architectures focussing on mathematical modeling, protocols, algorithms and performance evaluation and on architecture evolutions;
- Information and data modeling, representation and management.
8 Faculty members, 24 doctoral students and several research fellows from three SAMOVAR teams (METHODES, R3S and ACMES) will participate in the Labex. The following senior faculty will act as key scientific representatives: Walid Ben-Ameur, Tijani Chahed, Bruno Defude and Djamal Zeghlache. The following younger faculty and scientists will also contribute to the scientific program and activities: Amel Bouzeghoub, Hind Castel, José Néto, Hossam Affifi, Tulin Atmaca, Samir Tata, Michel Marot, Hakima Chaouchi and Vincent Gauthier. W. Ben-Ameur will act as scientific and technical head of SAMOVAR for DigiWorlds.
2.2.12 Partner 12: E3S, Supélec Systems Sciences
The E3S laboratory (head Y. Bourda) conducts trans-disciplinary research in the context of an engineering school, emphasizing strong coupling between disciplines and bridging the gap between academic research and applications. The link between the various disciplines is achieved by the notion of “System Sciences”, which are developed in each of the research groups. The goal of E3S is therefore to develop and exploit the complementarity between the research approaches developed in its departments. This in turn is necessary to address complex application areas such as transportation, health, security, manufacturing and the environment.
E3S consists of six components and includes 58 full-time faculty and 84 PhD students. Among the six components, the Telecommunications department is the one that is most involved in DigiWorlds.
The Telecommunications department currently has 17 permanent members, 9 of which are very active in wireless communications research (see list below). The areas of expertise cover a large number of topics including cooperative communications, multi-hop relaying, radio resource management and cross-layer design, multi-user MIMO, interference mitigation, advanced receiver techniques, network coding, physical layer security, and heterogeneous networks.
From January 2010 to September 2011, the department produced over 40 journal papers, 100 conference papers, 6 books or book chapters, and 4 patent applications. Several publications by members of the department received international awards during the past two years, the most significant being the 2011 IEEE Communications Society and Information Theory Joint Paper Award. The Telecommunications Department maintains close links with a number of research groups in France and abroad.
Closely linked to the Telecommunications Department is the Alcatel-Lucent chair on flexible radio, devoted to the topic of cognitive green small cell networks. The activity of the group covers three domains: performance analysis (based on random matrix theory), algorithmic design (based on game theory) and software defined radio (based on sdr4all). More information is available at http:/www.flexible-radio.com
The Telecom Department was ranked A+ by AERES.
All personnel listed below are SUPELEC employees.
Personnel in the Telecom department: Hikmet Sari (Dept. Head), Marios Kountouris, Antoine Berthet, Mohamad Assaad, Pablo Piantanida, Mari Kobayashi, Jocelyn Fiorina, Sheng Yang, Hamidou Tembine
Alcatel Lucent Chair: Merouane Debbah, Sylvain Azarian (Research Engineer)
Other members of E3S involved in the proposal: Joanna Tomasik, Marc-Antoine Weisser, Yolaine Bourda, Romain Couillet, Gilles Fleury.
2.2.13 Partner 13: L2S Signals and Systems Laboratory, UMR 8506 CNRS, Supélec and UPSud
The Signals and Systems Laboratory (L2S) is composed of about 60 academic staff, 10 administrative and technical staff, and more than 60 PhD students. The expertise of L2S is quite broad in basic sciences and sciences for Engineering: automatic control, signal processing, CAD, modelling, micro waves, physics, applied mathematics, energy…
L2S was rated A+ by AERES. Among distinguished scientists in the lab, F. Lamnabhi-Lagarrigue was awarded the Michel Monpetit prize by the French Academy of Science (2008), P. Duhamel received the Grand Prix France Télécom of the French Academy of Science (2000) and S. Niculescu received the CNRS Silver Medal (2011).
L2S is composed of 4 divisions: the Signals division, the Systems division, the Telecoms and Networks division, and the Waves division. The division most involved in DigiWorlds is the Telecoms and Networks division, which conducts fundamental research in networks and telecommunications. Its originality is to escape as much as possible from the traditional “layered” vision of networks, in which a separate optimization leaves little room for improvement. This is already the basis for the so-called “cross-layer” approach, which we extend as much as possible while maintaining the necessary flexibility needed by the variety of telecommunications applications. This is made possible by the fact that the group combines researchers involved in the lower layers (digital communications, resource allocation, ...), the application layer (robust compression, content security, ...) and the network layers (TCP/IP, routing, ...). All of them work at a more global optimization of telecom applications, mainly for wireless networks. A large part of the work is devoted to fundamental research involving, e.g. game theory or Information Theory, which is further expanded to make them useful in practical contexts, essentially through collaborative contracts. The Telecoms and Networks division is essentially involved in task 1 of the ComEx action line. Its 10 members have authored more than 35 journal papers, 80 international conference papers, 1 book and 13 book chapters, and filed 3 patents during the period from January 2010 to September 2011. Among its members are one IEEE fellow and one IUF junior member.
Two other divisions are involved, to a lesser extent, in DigiWorlds.
The Systems division builds on mathematics and exact sciences (biology, physics) to address problems such as the analysis, modeling and command of dynamical systems. Its members are involved mostly in task 1 of the ComEx action line. When the work on smart grids will expand, this team will become an essential part of this activity. L2S, and more specifically F. Lamnabhi-Lagarrigue is the scientific coordinator of the network of excellence HYCON215 (Highly Complex and Networked Control Systems). The objective of the HYCON NoE (24 teams in 8 countries) is to establish a long-term community of leading researchers and practitioners who develop and apply the hybrid systems approach to the design of networked embedded control systems as found, e.g., in industrial production, transportation systems, generation and distribution of energy, and communication systems.
Members of L2S in DigiWorlds
Telecoms and Networks: Pierre Duhamel (Division head, CNRS) Florence Alberge (UPSud) Véronique Vèque (UPSud) Anthony Busson (UPSud) Samson Lasaulce (CNRS) Marco Di Renzo (CNRS) Claude Delpha (UPSud) Michel Kieffer (UPSud) Rémy Boyer (UPSud) Patrice Brault (IR CNRS).
Signals: Ali Mohamad-Djafari (CNRS), Aurélia Fraysse (UPsud), Mathieu Kowalski (UPSud) and Thomas Rodet (UPSud).
Systems: Silviu Niculescu (CNRS), Frédéric Mazenc (INRIA/DISCO, hosted by L2S), Françoise Lamnabhi-Lagarrigue (CNRS) and Antoine Chaillet (UPSud).
2.2.14 Partner 14: PRISM, UMR 8144 UVSQ, CNRS
PRISM is a joint UVSQ/CNRS Computer Science Research Laboratory. It includes a permanent staff of 15 Professors, 25 Assistant Professors, 4 permanent researchers and 3 non-permanent professors. PRISM includes also 6 administrative staff members and 74 non-permanent researchers (mostly PhD students). The PRiSM Laboratory is organized in 9 teams, grouped into 3 research areas to foster collaboration. The three research areas address the following topics (we only list the teams involved in DigiWorlds):
Networks, Performance and Routing: ALCAAP (J. Cohen), EPRI (J.M. Fourneau) and ASR (S. Tohmé). Six permanent members and an equal number of PhD students will be involved in the ComEx action line, mainly in task 3 and partially in task 2.
- AlCAAp [204, 205] studies fundamental computer science: graph theory, algorithms, complexity theory, enumerative and analytic combinatorics. Applications are coming either from other scientific domains, such as bioinformatics and logic, or from the telecommunication industry.
- EPRI [210, 207] studies the performance and the reliability of networking and computing systems using classical tools such as Markov chains, queuing theory, stochastic processes and simulation. The team develops new techniques based on numerical analysis, tensor representation of stochastic matrices, component-based models, comparison of processes. The main applications are in the fields of all-optical networks, mobile networks, computer architectures and software performance engineering.
- ASR [218, 224] covers the following themes: quality of service and performance optimization of protocols and services in fixed or mobile next-generation networks. In particular it studies traffic characterization and management and control and security of network/user mobility. The goal is to build and dimension new network architectures that respond to heterogeneous real-time and non-real-time requirements.
Data Base, Data Mining and Data Warehouse: AMIS (M. Bouzeghoub), DIM (K. Zeitouni) and SMIS (P. Pucheral)
- SMIS (joint team with INRIA) [261, 260, 378, 282, 281, 262] contributes to ubiquitous/pervasive data management and data confidentiality and privacy. It studies storage and indexing models, query execution and optimization strategies, transaction protocols matching strong hardware constraints in terms of RAM, energy and communication bandwidth consumption. It studies fine-grain access control models to protect the increasing amount of sensitive data gathered in databases. The SMIS team will contribute to task 1 of the DataSense action line.
Parallelism, Distributed Algorithms and OR, Cryptography: ARPA (W. Jalby), CARO (A. Bui), CRYPTO (L. Goubin)
- CRYPTO [108, 136, 143, 156, 166] works on cryptology and information security. It contributes to the following themes: Design of new asymmetric cryptographic primitives and new protocols for privacy; security proofs for symmetric encryption schemes, hash functions, and asymmetric constructions; new algorithmic techniques for cryptanalysis and their optimized implementations on high performance computers; dedicated cryptography for constrained and portable devices, modeling of physical attacks, proven countermeasures; new paradigms for white-box cryptography and code obfuscation. The CRYPTO team will be involved in task 1 of the SciLex action line.
Higher education. The PRiSM Laboratory is deeply involved in 7 Graduate Programs: des COncepts au SYstèmes (COSY), Capteurs, Systèmes Electronique et Robotique (CSER), Informatique Haute Performance & Simulation (MIHPS), Ingénierie des Réseaux et des Systèmes (IRS), Réseaux de Radiocommunications avec les Mobiles (R2M), Sécurité des Contenus, des Réseaux, des Télécommunications et des Systèmes (SeCReTS), Analyse et Conception de Systèmes d’Information Sûrs (ACSIS), and the ISTY Engineering School. Moreover, the PRiSM Laboratory is involved in the STV (Sciences et Technologie de Versailles) Doctoral School.
2.2.15 Qualification, role and involvement of the partner units
DigiWorlds does not include all the researchers in the units, but only those contributing to its goals, as described in section 1.2. Indeed, sharing goals is important to initiate really fruitful collaborations. While this means that not all researchers will work full-time on DigiWorlds tasks, it also means that DigiWorlds will stay open to new researchers and new teams. Moreover, this project-like structure should result in new teams and new emerging research structures.
The table below lists key people involved in the coordination of DigiWorlds activities. More information about the participants is given in the partners units descriptions.
|Surname||First name||Position||Domain||Partner||Organization||Contribution in the project|
|Paulin-Mohring||Christine||PR||CS||LRI-2.2.1||U. Paris-Sud||scientific and technical coordinator|
|Comon-Lundh||Hubert||PR||CS||LSV-2.2.6||ENS Cachan||coordinator for SciLex|
|Duhamel||Pierre||DR||Telecoms||L2S-2.2.13||CNRS||coordinator for ComEx|
|Sebag||Michèle||DR||CS||LRI-2.2.1||CNRS||coordinator for DataSense|
|Maître||Henri||PR||IP||LTCI-2.2.10||Telecom ParisTech||coordinator for education|
|Patillon||Jean-Noël||DR||Telecoms||LIST-2.2.3||CEA||coordinator for innovation|
PR: Professor, DR: Senior Researcher, CS: Computer Science, IP: Image processing
DigiWorlds includes selected researchers and teams from the following research units. The following table tallies the number of researchers (R), PhD students and engineers (E) that will contribute to DigiWorlds. The total number of researchers is 339 (+360 PhD students and 29 engineers), representing less than 30% of research in ICT on the Campus de Saclay.
|Nom du partenaire||Affiliation||R||PhD||E||coordinator|
|LRI16(UMR 8623)||Univ. Paris-Sud, CNRS||50||53||0||Ph. Dague|
|LIMSI/CHM (UPR 3251)||CNRS||31||33||3||P. Le Quéré|
|MAS (EA 4037)||Ecole Centrale Paris||4||8||0||M. Aiguier|
|LSV16 (UMR 8643)||ENS Cachan, CNRS||19||17||3||H. Comon-Lundh|
|LIX16 (UMR 7161)||Polytechnique, CNRS||25||21||2||O. Bournez|
|CRI Saclay-Île-de-France16||INRIA||42||47||7||N. Boujeema|
|CRI Paris-Rocquencourt16||INRIA||11||17||6||B. Salvy|
|LTCI (UMR 5141)||Télécom ParisTech, CNRS||36||54||4||H. Maître|
|SAMOVAR (UMR 5157)||Télécom SudParis, CNRS||16||26||2||W. Ben Ameur|
|E3S (EA 4454)||Supélec||15||19||1||G. Fleury|
|L2S16 (UMR 8506)||Supélec, Univ. Paris-Sud, CNRS||17||16||1||P. Duhamel|
|PRISM16 (UMR 8144)||Univ. Versailles Saint-Quentin, CNRS||15||15||0||S. Tohmé|
DigiWorlds is part of the “IDEX Paris-Saclay” (IPS) proposed by the FCS. IPS will be managed by the director of the FCS and a Steering Committee. It will coordinate the different programs (Labex, Interdisciplinary programs…) and general issues such as international relations. The FCS will provide DigiWorlds and IPS with administrative support. The governance within DigiWorlds will be organized as follows:
- A director, nominated by the participating institutions, coordinates the various actions and interacts with the FCS, the IDEX and with the SATT for technology transfer.
- A steering committee (4 to 5 members from the partner institutions and representing them, chaired by the director) makes decisions on the actions to be carried out.n The steering committee will establish ad hoc boards to process the actions: advertising and launching the programs, collecting submissions and managing an external evaluation process when applicable (emerging projects), reporting:
- A managing board for research and innovation takes care of the emerging project actions (see 3.1), the annual conference, and industry days.
- An education board actively prepares the new programs and oversees the process for education actions during the transition period (2012-15). It will handle the Masters and PhD grants, the summer school, pedagogical actions, and the invited professor programs (see 3.2). When Masters and doctoral schools will be established, the Masters and PhD grants will be handled by their educational committees following an agreement with DigiWorlds.
- A scientific council composed of external members (about 10 people, mostly from abroad, with representatives from industry) meets twice a year. It proposes scientific orientations and is involved in the decisions about changes in the composition of the labex. It also produces an assessment of the labex once a year.
- DigiWorlds is a project involving a large number of partners. To ensure a common vision, a general assembly of DigiWorlds meets at least once a year during the annual conference and discusses actions, results and future directions.
Measure of achievements.
DigiWorlds will produce an annual report describing the research activities for each task as well as the outcome of its actions in education and innovation: number of participants in the conference, summer school and industry days events, detail of high-school actions, results of competitive selection for Masters and PhD grants ….
2.4 Institutional strategy
DigiWorlds is part of the IDEX Paris-Saclay proposal put forward by 24 institutions committed to building the “University Paris-Saclay” and have it ranked among the best Universities in the world. The IDEX is based first and foremost on development of a continuum from basic sciences to applied sciences using the strengths, skills, diversity and wealth of experience brought by the different participants. It supports four key objectives: promoting tomorrow’s players by combining research-based training with a project-oriented culture; meeting the demands of fundamental science and scientific challenges relating to the major issues for society and to new, emerging themes; providing an “organic” link between research results and innovation strategy.
ICT is one of the six fields structuring the IDEX. It is a recent discipline which has strong dynamics of its own, in basic science as well as technology. This field is essential for applications especially for those addressed at Saclay and nearby: health, environment, food, energy and transportation. This research and education domain will be strongly influenced by the installation of five engineering schools, including Institut Telecom, a strong actor in ICT, and one “Ecole Normale Supérieure”, thus nearly doubling the number of students.
The Saclay area hosts a strong scientific potential in ICT. Since 2007, the research network Digiteo has contributed to considerably increase the collaborations among the laboratories while industrial aspects of ICT were developed in the Systematic cluster. DigiWorlds builds on this strong basis. It addresses challenges in scientific topics that are at the core of ICT and where progress will have a strong impact on future technologies in many fields. It supports an ambitious education program to attract an increased number of talented scientists and students.
Platforms. DigiWorlds is an essential research instrument associated with platforms installed as part of the “Initiatives d’Excellence” program. The DIGISCOPE platform was introduced in task 5 of the DataSense action line. The EOLE platform, submitted, is a distributed “experimental research” cloud facility over several sites, including Campus de Saclay, offering computation, storage and networking resources along with security, control, management services and information system engineering tools. Both platforms will be helpful for testing and validating concepts and methods that will emerge from DigiWorlds research activities.
Interdisciplinary projects. DigiWorlds will interact with several domains. Mathematics play a special role given the osmosis between this discipline and the fundamental aspects of ICT as well as the tight relationships between modeling, simulation and optimization. At the interface between ICT and Biology, Bioinformatics is already well-developed both in research and education. Close interactions with System Engineering and Nanosciences are an essential part of the strategy of the supervising institutions. Finally, as part of IDEX Paris-Saclay we shall contribute with the Social & Human Sciences department to the challenge of the construction of the digital society (electronic democracy, ambient intelligence and management of digital innovation).
Commitment of the partners. The institutions involved will continue their support to DigiWorlds partners, in particular in terms of human resources for both education and research (see support letters).