Recherche

Dans le cadre de vastes projets nationaux sur le thème de l’IA (au sens large), l’article fait un petit tour rapide d’horizon sur les recherches
C’est à l’occasion du Forum Innovation Défense (porte de Versailles) que le LaBRI, en collaboration avec Thales DMS, présentera son travail sur le
Présentation générale L’axe “ModélisationetVérification” s’intéresse à la modélisation, la vérification et le test des systèmes informatiques
Anne Bisagni-Faure, rectrice de l’académie Nouvelle Aquitaine a remis à l’occasion de la cérémonie de la rentrée de l’université (en octobre dernier)
Thinhinane Yebda soutiendra sa thèse intitulée : « Reconnaissance des situations à risques de la vie quotidienne des personnes fragiles. Analyse
Le workshop de l’ANR QuDATA (Quantum Algorithms for Massive Data) autour de l'informatique quantique se déroule en ce moment au LaBRI. Constitué de
Responsables de département : Hugo Gimbert and Antoine Rollet Les thèmes de recherche du département incluent les fondements des méthodes formelles
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et