Adresse
Bâtiment Turing, 1 rue Honoré d’Estienne d’Orves
91120 PALAISEAU
|
Contact
courriel : direction@lix.polytechnique.fr
|
| Site web :
http://www.lix.polytechnique.fr/
|
| Taille en ETP (sans compter les stagiaires):
supérieure à 50.
|
Descriptif :
Le laboratoire développe sa recherche sur les fondements de l’informatique, avec un accent particulier sur les interactions avec les mathématiques, sur la qualité et sûreté du logiciel et des communications, visant à fournir les bases d’un monde numérique efficace, fiable et sécurisé, et sur l’informatique pour l’intelligence artificielle, allant de la science des données aux approches symboliques en passant par la certification des agents autonomes.
|
| Année de création :
2005
|
| Mission de la structure :
Recherche
|
| Mode de gestion de la structure :
Délégation partielle de gestion
|
| SIRET de la structure :
Non renseigné.
|
Classement scientifique ERC
- PE7 : Systems and communication engineering : Electrical, electronic, communication, optical and systems engineering
- PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
- PE1 : Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statistics
|
Domaine scientifique
- 1 : Mathématiques et leurs interactions 2000 0
- 8 : Sciences pour l'ingénieur 2000 0
- 9 : Sciences et technologies de l'information et de la communication 2005 0
|
Ecole(s) doctorale(s) de rattachement
-
ED 580 - SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (STIC), depuis le 01/09/2015, fin d'accréditation le 31/12/2024
-
ED 571 - SCIENCES CHIMIQUES : MOLECULES, MATERIAUX, INSTRUMENTATION ET BIOSYSTEMES, depuis le 01/09/2015, fin d'accréditation le 31/12/2024
|
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
|
Rattachée au(x) thème(s) de recherche suivant(s):
Proofs and Algorithms;
Computer Mathematics;
Efficient and Secure Communications;
Modeling, Simulation, Learning;
Data Analytics and Machine Learning;
|
Liens avec d'autres structures :
Regroupe :
-
Unité propre 200818369L - Concurrence, Mobilité et Transactions
(lien non exclusif)
-
Unité propre 201221041Y - Geometry, arithmetic, algorithms, codes and encryption
(lien non exclusif)
-
Unité propre 201622056J - Analyse et traitement de données complexes à grande échelle
(lien non exclusif)
-
Unité propre 201923495K - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
(lien non exclusif)
-
Unité propre 202224337M - La Géometrie au Service du Numérique
(lien non exclusif)
|
Site ESR :
Aucun.
|
