Recherche

Responsables d'équipe : Michaël Clément et Jean-Luc Rouas La révolution liée à l’intelligence artificielle en traitement de l’image de la vidéo et du

Les assistants de preuves basés sur les types dépendants sont parmis les outils offrant les garanties les plus fortes sur la sécurité d'un logiciel

Sept start-ups en informatique sont issues directement de projets de recherche réalisés par des chercheurs du LaBRI. IQSPOT : Relève automatique et
Certains membres du LaBRI, impliqués dans l’IA, ont participé en janvier dernier, à la rencontre organisée avec l’institut de Waterloo.
Dans le cadre du JDEF (Journal de la Défense), vous pouvez suivre les avancées en matière d’IA, et tout particulièrement l’interview et présentation
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)
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
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
Face aux différentes menaces, le projet Pandrone, alliant les compétences en matière de drone, robotique et intelligence artificielle, a pour ambition
Fabien LOTTE reçoit le prix Lovelace-Babbage de l'Académie des sciences en partenariat avec la SIF (Société informatique de France). En savoir plus en