Recherche
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
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
Rencontre, le 02/06/2023 de 10 à 12h (amphi LaBRI) avec l’entreprise Serma Technologies, et plus particulièrement avec Yoann Bodet, responsable d
Thinhinane Yebda soutiendra sa thèse intitulée : « Reconnaissance des situations à risques de la vie quotidienne des personnes fragiles. Analyse
Le projet « Algorithmes d'approximation en temps quasi-polynomial pour certains problèmes d'optimisation de la conception de réseaux », porté par Ralf
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
Face aux différentes menaces, le projet Pandrone, alliant les compétences en matière de drone, robotique et intelligence artificielle, a pour ambition
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