Maïwenn Racouchot (Pesto) soutiendra sa thèse intitulée "Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées" le 10 décembre à 14h en salle A008. Résumé Chaque jour, nous effectuons des actions en apparence bénignes : envoyer un message à un proche ou payer ses courses avec sa carte bancaire. […]

Pierre-Antoine Rault (Coast) soutiendra sa thèse intitulée "Access control mechanisms for collaborative applications with no central authority" le 12 décembre à 15h en salle A008. Résumé Dans un groupe dynamique d'utilisateurs qui collaborent, les droits d'accès doivent souvent être différenciés à l'aide d'une politique de sécurité. Pour obtenir une disponibilité et une fiabilité élevées, les […]

Léo Valque (Gamble) soutiendra sa thèse intitulée "Arrondi de maillage en 3D" le 13 décembre à 9h en salle C005. Résumé La plupart des algorithmes qui traitent des objets polygonaux en 3D utilisent des coordonnées où la précision est fixée pour les données d’entrée et de sortie. Cependant, les opérations géométriques produisent souvent des coordonnées […]

Abir Bouaouda (Larsen) soutiendra sa thèse intitulée "Apprentissage par renforcement pour le contrôle des robots parallèles à câbles" le 13 décembre à 10h en salle B013. Résumé Dans cette thèse, l'apprentissage par renforcement appliqué au contrôle des robots parallèles à câbles a été étudié. Cette catégorie de robots se distingue par sa dynamique complexe et […]

Nima Mehdi (Larsen) soutiendra sa thèse intitulée "Approches probabilistes pour la perception et l'interprétation de l'activité humaine" le 17 décembre à 14h en salle A008. Résumé L'intégration des robots dans des environnements occupés par l'humain soulève la détection et la prise en compte de l'humain par le robot. En plus de simplement percevoir l'humain, il […]