La recherche au département d'informatique s'articule autour de trois axes : sécurité et fiabilité, apprentissage et données complexes, algorithmes et analyse.
Les enseignants et chercheurs sont regroupés en équipes de recherche.
Traitement et classification de signaux : L'équipe Data utilise des notions de mathématiques appliquées pour représenter des données complexes et de grande dimension, musique ou vidéos par exemple, afin de faire de la "classification".
Apprentissage statistique : L'équipe Sierra exploite des données complexes de grande dimension, en vision ou en bio-informatique par exemple, pour faire de l'apprentissage statistique.
Valeur à partir des données : L'équipe Valda se concentre sur les aspects théoriques et systèmes de la gestion de données complexes, en particulier les données produites par l'activité humaine.
Vision artificielle : L'équipe Willow utilise l'apprentissage pour interpréter et annoter images et vidéos.
Théorie
Dynamique des réseaux géométriques : L'équipe Dyogene analyse la dynamique de réseaux géométriques issus des réseaux de communication, tels que les graphes aléatoires et réseaux géométriques stochastiques.
Théorie, ALgorithmes, Graphes et Optimisation : L'équipe Talgo développe des algorithmes et étudie les propriétés structurelles, notamment pour l'optimisation combinatoire, pour des problèmes d'origine géométrique et pour l'algorithmique du texte.
Sécurité et sûreté
Analyse statique par interprétation abstraite : L'équipe Antique conçoit des méthodes d'"analyse statique" pour démontrer mathématiquement l'absence de certains types d'erreurs dans les logiciels.
Cryptographie : L'équipe Cascade conçoit et analyse les systèmes cryptographiques pour la confidentialité des données et leurs applications à la sécurité des protocoles sur internet.
Parallélisme des réseaux de Kahn synchrones : L'équipe Parkas travaille sur des langages de programmation fiables dans des cadres tels que le contrôle des trajectoires de trains au fil du temps ou pour des architectures de machines parallèles modernes.
Informatique Quantique : L'équipe QAT développe des outils théoriques pour nous aider
à comprendre les capacités des ordinateurs quantiques, à améliorer leur conception pour
des algorithmes spécifiques et à les doter de nouvelles fonctionnalités à l'aide du traitement
quantique de l'information.
Sécurité informatique : L'équipe Security étudie la sécurité des systèmes informatiques.
