LIP6

Fondements du numérique : informatique, automatique, traitement du signal et des images

• Combinatoire analytique, d’algorithmes de graphes et de topologie computationnelle
• Développement d’algorithmes numériques en virgule flottante ou en virgule fixe et leur validation
• Problèmes liés à l’assimilation d’images
• Optimisation black-box et ses liens avec l’apprentissage et l’autoML
• Algorithmique en-ligne
• Optimisation en présence de données évolutives ou prédictibles
• Complexité de problèmes d’optimisation combinatoire, conception d’algorithmes exacts et approchés

Sciences et génie du logiciel

• Conception de manycores (systèmes multiprocesseurs intégrés sur puces)
• Compilation, vérification par typage, interprétation abstraite, par preuve de théorèmes et par raffinement
• Développement d’outils de CAO pour la conception de circuits en technologies CMOS sub-microniques, interfaces entre la puce et le monde extérieur
• Cloud et « fog » computing, réseaux mobiles

Intelligence artificielle et science des données

• Analyse de grands graphes de connaissances et de données
• Inférence et vérification de la satisfiabilité des schémas JSON
• Indexation et exploration des lacs de données
• Amélioration de la qualité des données analytiques
• Accélérateurs d’IA et architectures neuromorphiques
• Modélisation, apprentissage et optimisation pour la prise de décision dans des environnements complexes
• Apprentissage automatique interprétable
• Utilisation de technologies fondées sur l’IA pour l’aide à l’apprentissage humain
• Systèmes multi-agents
• Edge-IA

Information quantique

Protocoles quantiques, fondements théoriques de l’information quantique, construction de démonstrateurs optiques

Equipe QI – Information Quantique

Sécurité des systèmes informatiques

• Protection matérielle et sûreté de fonctionnement des circuits et systèmes intégrés
• Sûreté et fiabilité des nouveaux systèmes distribués
• Cryptographie et cryptanalyse

Mathématiques appliquées

• Fondements théoriques des modèles et des algorithmes pour la prise de décision dans des environnements complexes
• Conception d’algorithmes relevant du calcul formel (méthodes algébriques) pour la résolution de systèmes polynomiaux