Matthieu Nicolas (Coast) will defend his thesis on Tuesday, December 20th at 2pm in room C005. His thesis is entitled "Ré-identification sans coordination dans les types de données répliquées sans conflits", the presentation will be held in French. Rapporteurs : Hanifa Boucheneb, Professeure, Polytechnique Montréal Davide Frey, Chargé de recherche, HdR, Inria Rennes Bretagne-Atlantique Examinateurs : Hala Skaf-Molli, Professeure des Universités, Nantes Université, LS2N Stephan Merz, Directeur de Recherche, Inria Nancy - Grand Est Encadrants : Olivier Perrin, Professeur des…
Voir les détails »Mathieu Hoyrup (Mocqua) will defend his "Habilitation à Diriger des Recherches", on Monday, 9th January at 2pm in room C005. His presentation will be in English and is entitled "Topological Aspects of Representations in Computable Analysis". Rapporteur(e)s : - Olivier Bournez, LIX, École Polytechnique - Vasco Brattka, Universität der Bundeswehr München - Elvira Mayordomo, Universidad de Zagaroza Examinateurs : - Julien Cervelle, LACL, Université Paris-Créteil Est - Olivier Finkel, Institut de Mathématiques de Jussieu-Paris Rive Gauche - Emmanuel Jeandel, LORIA,…
Voir les détails »Jean-Baptiste Wiart (Simbiot) soutiendra sa thèse intitulée "Approche hiérarchique de co-simulation pour l'étude des échanges d'énergie dans les microréseaux", le 13 janvier 2023 à 14h00 en salle C005 du Loria. Résumé : Le contexte de cette thèse s'intègre dans une démarche de modélisation et simulation de micro-réseaux. Financée par le projet LUE ULHyS, programme de recherche multidisciplinaire sur les technologies de l'hydrogène et des piles à combustible, des matériaux innovants pour les PEM-FC à l'économie de l'hydrogène et à l'ergonomie…
Voir les détails »Agustín Borgna (Mocqua) will defend his thesis, entitled "Towards a compiler toolchain for quantum programs", on Tuesday January 13th at 3pm in room A008. Abstract : The advent of quantum computers capable of solving problems that are intractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However, the current state of the art in quantum programming is still in its infancy. In this thesis, we present a series of novel approaches to…
Voir les détails »Adrien Hammer (Resist) soutiendra sa thèse intitulée "Méthodes de détection pour la sécurité des sytèmes IoT hétérogènes", le 17 janvier 2023 à 14h00 en salle A008 du Loria. Résumé : Cette thèse porte sur de nouvelles méthodes de détection pour la sécurité des systèmes IoT hétérogènes, et s’inscrit dans le cadre du projet européen SecureIoT. Nous avons tout d’abord proposé une solution utilisant le process mining couplé à un pré-traitement des données, pour construire des modèles de comportement et identifier…
Voir les détails »