Laboratorium Informatyczne Uniwersytetu Sorbona

Laboratorium informatyczne Uniwersytetu Sorbona , zwane również LIP6 , jest laboratorium badawczym pod nadzorem Uniwersytetu Sorbona i CNRS . Jego akronim pochodzi od historycznej nazwy L aboratoire d ' I nformatique de P aris 6 . Z 220 stałymi naukowcami i 199 doktorantami, LIP6 jest największym laboratorium badawczym informatyki we Francji .

Historia

Instytut CNRS Blaise-Pascal został założony w 1946 r. Pod kierownictwem Josepha Pérèsa i składa się z dwóch laboratoriów:

• obliczeń mechanicznych (kierowane przez Louisa Couffignala , w Instytucie Henri-Poincaré w siedzibie ONERA )
• obliczenia analogowe (kierowane przez Luciena Malavarda z Instytutu Optyki ).

Pod kierownictwem René de Possela analogowe laboratorium obliczeniowe staje się Institut de Programmation (23, rue du Maroc, Paryż 19th ) i obejmuje takich naukowców, jak Louis Nolin , Jean Porte , Maurice Nivat , Marcel-Paul Schützenberger , Jacques- Louis Lions , Jacques Arsac . W 1969 roku Instytut Blaise-Pascala został podzielony na cztery laboratoria zlokalizowane na kampusie Jussieu  : trzy ERA CNRS (powiązany zespół badawczy) i jedno GR CNRS (grupa badawcza):

• ERA 84 „Struktura systemów komputerowych”, kierowana przez Jeana Sucharda i Jacquesa Arsaca w Paryżu VII, która w 1975 r. stanie się MASI (Metodologia i architektura systemów komputerowych),
• ERA 247 „Documentary Automation Laboratory”, wyreżyserowane przez Maurice'a Grossa w Paryżu VII, które stanie się LADL (Documentary and Linguistic Automation Laboratory),
• Laboratorium Informatyki Teoretycznej ERA 295, kierowane przez Maurice'a Nivata , Louisa Nolina , Marcela-Paula Schützenbergera w Paryżu VII, które stanie się LITP (Laboratorium Informatyki Teoretycznej i Programowania),
• GR 22 „Struktura informacyjna”, wyreżyserowana przez Claude-François Picarda w Paryżu VI, która w 1987 r. stanie się LAFORIA (LAboratoire FORmes et Intelligence Artificielle).

W 1987 roku odrodził się IBP i zespół Combinatorial (UFR 921, kierowany przez Michela Las Vergnasa ). W 1994 roku IBP stał się federacją laboratoriów komputerowych na terenie kampusu Jussieu (Federacja Jednostek FU0007 CNRS), zrzeszając LAFORIA, LITP, MASI. W 1997 r. Różne laboratoria połączyły się i utworzyły Laboratorium Informatyczne Paris 6 (LIP6).

Część Paris 7 LITP daje początek LIAFA (Laboratory of Algorithmic Informatics: Foundations and Applications), które w styczniu 2016 roku połączyło się z laboratorium PPS (Proofs, Programs and Systems) w ramach IRIF (Institut Fundamental Computer Science Research) .

Zajęcia

LIP6 jest poświęcony modelowaniu i rozwiązywaniu podstawowych problemów związanych z aplikacjami, a także wdrażaniu i sprawdzaniu rozwiązań w ramach partnerstw akademickich i przemysłowych.

Badania są prowadzone w ramach 22 zespołów (w tym 3 gminy z Inria Paris) połączonych przegubowo wokół czterech osi poprzecznych:

• Sztuczna inteligencja i nauka o danych
• Architektura, systemy i sieci
• Bezpieczeństwo, ochrona i niezawodność
• Teoria i narzędzia matematyczne dla informatyki

Współpraca międzynarodowa jest stałym elementem działalności laboratorium. Utrzymuje bliskie relacje z uniwersytetami w wielu krajach, takich jak Brazylia, Stany Zjednoczone, Japonia, Chiny i wiele krajów europejskich. Oprócz badań akademickich LIP6 ma długą tradycję współpracy z partnerami przemysłowymi przy licznych projektach krajowych, europejskich i międzynarodowych.

Obecnie jest gospodarzem dwóch projektów ERC:

• Wyższość kwantowa ze stanem koherentnym (QUSCO)
• Modułowa otwarta platforma do analizy statycznej (MOPSA).

LIP6 jest również gospodarzem katedry doskonałości w środowiskach komputerowych do uczenia się ludzi oraz katedry w pojazdach autonomicznych we współpracy z grupami ATOS i Renault.

We współpracy z tymi partnerami utworzono dwa europejskie ośrodki badawcze: CERME i Euronetlab. CERME, Europejskie Centrum Badań Mikroelektroniki, współpracuje z ST Microelectronics i Silvaco nad systemami wbudowanymi. Euronetlab wraz z Thales , 6wind i Télécom ParisTech to wspólne laboratorium badawcze zajmujące się internetem i siecią. LIP6 jest również zaangażowany w klastry konkurencyjności Digital Lab i System @ tic .

Na poziomie lokalnym laboratorium jest również bardzo aktywne w ramach Uniwersytetu Sorbona, gdzie promuje transdyscyplinarną współpracę między laboratoriami. LIP6 jest zatem założycielem i aktywnym członkiem Tremplin Carnot Interfaces, którego celem jest zgromadzenie pięciu laboratoriów zajmujących się interakcjami człowiek / maszyna. Jest również bardzo mocno zaangażowany w inicjatywę SCAI (Sorbonne Center for Artificial Intelligence) zapoczątkowaną w 2018 roku przez Sorbonne University.

Laboratorium jest mocno zaangażowane w nauczanie związane z pracami magisterskimi. Szkoła doktorska EDITE w Paryżu (Szkoła Doktorska Informatyki, Telekomunikacji i Elektroniki w Paryżu) wita doktorantów z laboratorium.

4 poprzeczne osie

Oś „Sztuczna inteligencja i nauka o danych” (AID)

Duże zbiory danych, uczenie maszynowe, uczenie głębokie, uczenie się wspomagane komputerowo, uczenie się preferencji, rozumowanie maszynowe, podejmowanie decyzji i systemy wieloagentowe odgrywają dużą rolę w wyzwaniach stojących przed rynkiem. Celem pracy tej osi jest udoskonalenie stanu wiedzy w celu:

• Techniki projektowania i narzędzia, które skalują się, aby mieć wpływ na informatykę i inne dziedziny naukowe,
• Wejdź w epokę, w której decyzje i rekomendacje kierowane przez AI do użytkowników są uzasadnione,
• Zarządzaj nieprecyzyjnością, niepewnością i zmianami kontekstu w czasie.

Oś „Architektura, systemy i sieci” (ASN)

W przyszłości systemy będą zależały od złożonych infrastruktur wykonawczych i komunikacyjnych (sieci i systemu operacyjnego), a także rekonfigurowalnych heterogenicznych architektur i umożliwiających zaawansowane cechy, takie jak dynamika, mobilność lub czas rzeczywisty.

W tym kontekście zużycie energii i jakość usług są kwestiami kluczowymi. Ponadto wykonanie takich systemów odbywa się na różnego rodzaju sprzęcie (od urządzeń inteligentnych po duże komputery i systemy kwantowe). Rodzi to ważne pytania związane z projektowaniem, wdrażaniem, oprzyrządowaniem, konserwacją i kosztami infrastruktury. Praca w ramach tej osi ma na celu zaproponowanie rozwiązań w tych różnych kwestiach.

Oś „Bezpieczeństwo, ochrona i niezawodność” (SSR)

Systemy automatyczne są w coraz większym stopniu odpowiedzialne za delikatne misje, krytyczne dla życia i śmierci (na przykład zdrowie, motoryzacja lub aeronautyka), misje (na przykład misje kosmiczne lub sieci czujników) lub handel (np. E-administracja lub systemy transakcji biznesowych).

Celem prowadzonych tu prac jest zapewnienie, że systemy te działają i zachowują się zgodnie z oczekiwaniami, co jest wyzwaniem ze względu na ich dużą złożoność, wysoce równoległe lub rozproszone wykonanie, istnienie błędów lub ataków, fakt, że są przeprowadzane w niebezpiecznych środowiskach, potrzebach konserwacyjnych itp.

Kwestie prywatności i zaufania również mają fundamentalne znaczenie i w ramach tej osi badane są różne podejścia, aby zająć się nimi na wszystkich poziomach (sprzęt, sieć, oprogramowanie, kryptografia).

Oś „Teoria i narzędzia matematyczne dla informatyki” (TMC)

W informatyce wszechobecne są kwestie rozstrzygalności i złożoności, a także modele matematyczne i dyskretne lub algorytmy. Możemy przytoczyć formalną semantykę modelowania systemów, zachowania dużego oprogramowania, algorytmy wykrywania społeczności na grafach, dyskretną lub ciągłą optymalizację oraz szeroko rozumiane obliczenia naukowe.

Zespoły badawcze pracujące nad tą osią projektują algorytmy w celu optymalizacji systemów komputerowych pod kątem podejmowania decyzji, poprawy niezawodności oprogramowania i / lub oceny bezpieczeństwa kryptograficznych prymitywów i przygotowania się na erę kwantową. Większość z tych algorytmów stwarza problemy związane ze skalowaniem w górę, a celem jest przesunięcie obecnych granic.

Główni partnerzy przemysłowi

- Alcatel - AONIX - ATMEL - Bordas - Bull - CADENCE - CDC - CEA - Dassault Aviation - EADS - EDF - ELF ANTAR - FIAT INDUSTRIE - France Télécom - GDF - Gemalto - GEMS - GIE PSA - Ilog - Matra - Nathan - Nortel - Philips - Sagem - SNECMA - Siemens - SILVACO - Sony - ST Microelectronics - SURLOG - TEMENTO - Thales - 6WIND

Kilka liczb

Rozpowszechnianie i promocja badań

• 25 patentów
• 63 systemy lub oprogramowanie rozpowszechniane w Internecie lub na podstawie umowy z firmą.

Średnio :

• 500 publikacji naukowych rocznie
• Rocznie obroniono 60 prac dyplomowych

Siła robocza: 530

• 166 nauczycieli-badaczy
• 29 naukowców z CNRS lub INRIA
• 30 ITA i IATOS
• 199 doktorantów

Bibliografia

1. „  Accueil LIP6  ” , na www.lip6.fr (dostęp 8 sierpnia 2016 )
2. http://infolingu.univ-mlv.fr/LADL/Histoire.html
3. https://www.lip6.fr/recherche/team.php?id=13

Linki zewnętrzne

• Oficjalna strona
• Strona internetowa Uniwersytetu Pierre-et-Marie-Curie (Paryż-6)
• Witryna CNRS