Laboratoire d’Informatique de Paris VI, Université Pierre et Marie Curie

 

 

Université Pierre et Marie Curie – Paris 6 (UPMC) UPMC, the largest scientific University in France has 4 500 researchers and teachers, 180 laboratories, 30 000 students and 700 scientific PhD delivered per year. UPMC is involved in numerous international partnership agreements and has France’s largest scientific library and infrastructures. UPMC European Affairs office, in charge of the EU projects, has managed so far 100 FP7 projects. The Laboratoire d’Informatique de Paris 6 (LIP6) which is dedicated to computer science is internationally recognised as a leading research institute. As joint research unit, it regroups 150 researchers from the UPMC, the Centre National pour la Recherche Scientifique (CNRS), the Institut National pour la Recherche en Informatique et en Automatique (INRIA) and other universities. It has a very broad spectrum of research activities: networks, distributed systems, databases, languages and proofs, simulation and distributed programming, numerical computation and symbolic computation, software for research on Computer Sciences and aid to decision, symbolic methods and proofs, artificial life, entity and the society of robots. In the Decision, Intelligent Systems and operational.

The Laboratoire d’Informatiqiue de Paris VI is a joint research laboratory of the Université Pierre & Marie Curie (UPMC) and the CNRS. With 144 permanent researchers and 231 doctoral students, LIP6 is one of France’s principal computer science laboratories, and it is the largest one in the Paris area.

The laboratory is engaged across a broad spectrum of research activities, organized into five areas: Scientific Computing; Decision-Making, Intelligent Systems, and Operations Research; Databases and Machine Learning; Networks and Distributed Systems; and System on Chip.

In addition to its basic research, the laboratory has a strong tradition of cooperation with industrial partners on national and European R&D projects. Together with these partners, the laboratory has created two R&D centres: CERME and Euronetlab. CERME is the European Centre for Research on Micro-Electronics, established in collaboration with ST Microelectronics and Silvaco, and working on embedded systems. Euronetlab, which is focused on the internet and network research, is a joint centre with Thales, 6 Wind, and the ENST.

LIP6 is a partner in two of the recently-launched national centres for competitivity. The laboratory also shares two research groups with INRIA. International cooperation is at the core of the laboratory’s activities. LIP6 participates in several EU Networks of Excellence and has also developed close research relationships with groups in many different non-EU countries (Brazil, the US, etc.). The laboratory is open to developing new common research or educational projects, and actively welcomes scientific visitors.

The laboratory is involved in teaching through the research-oriented courses that its personnel offer in UPMC’s Masters degree in Computer Science. It also offers doctorates through the EDITE doctoral school.

The team DECISION in the department DESIR (Decision, Intelligent Systems and Operational Research) is mainly dedicated to models and algorithms for automatic decision systems. Particularly, we study the use of probabilistic factored representation (Probabilistic Graphical Models) and sophisticated representations of preferences (GAI networks, etc.) as well as different frameworks for decisions (multicriteria decision, collective decision, context, etc.).

The team MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on: (i) optimized techniques of formal verification through model-checking, (ii) development methodologies based on Model-Driven Engineering, (iii) Integration of formal analysis in development processes, (iv) design and implementation of new programming languages and models to increase the verifiability of distributed programs.