SOUTENANCES / DEFENSES

Mercredi 21 avril à 14h00, Monsieur Giovanni Liboni, de l'équipe KAIROS, soutiendra sa thèse intitulée "Co-simulation de systemes complexes avec le framework CoSim20". Elle sera diffusée sur youtube : https://youtu.be/iX6Vag5KKkc
La présentation et discussion se feront en anglais.

Lundi 19 avril à 14h00, Madame Amina Ghrissi soutiendra sa thèse par visioconférence sur ZOOM en suivant ce lien : https://univ-cotedazur.zoom.us/j/81168984872?pwd=VWhJSnJnY3Z5bngyU1hHdDZqdSt5QT09
La présentation sera en anglais.
AUJOURD'HUI / TODAY
Vendredi 26 mars à 14h Madame Molka Dhouib soutiendra sa thèse en ligne sur Zoom en suivant ce lien : https://univ-cotedazur.zoom.us/j/85831257927?pwd=V1BkRnYxSXkrRDlNWUhDZWVGeUZWUT09
La présentation et la discussion se feront en français.

Le lundi 22 mars 2021 à 10h, Monsieur Giuseppe Di Lena soutiendra sa thèse.
La défense se déroulera en anglais et sera diffusée en direct sur YouTube: https://youtu.be/lJGjBVKP7Xw
Le mercredi 17 février 2021 à 13h, sur zoom, Alessio Pagliari, équipe COMRED, soutient sa thèse intitulée "Evaluating the Impact of Streaming Systems Design on Application Performance".
Mardi 15 décembre 2020 à 9h, en visionconférence, Julien Bensmail, équipe COMRED - projet commun I3S-INRIA Coati, soutient sa HDR intitulée "Contributions aux pondérations distinguantes de graphes".

Vendredi 4 décembre 2020 à 16h00, en visioconférence, Melpomeni Dimopoulou, équipe SIS, soutient sa thèse intitulée "Encoding techniques for long-term storage of digital images into synthetic DNA".

Vendredi 4 décembtre 2020 à 15h00, en visioconférence, Samy Lazreg, équie SPARKS, soutient sa thèse intitulée "Applications Variables sur Plateformes Configurables : Analyses Anticipées de Faisabilité et d'Optimalité"'.

Le jeudi 22 octobre 2020, en salle Euler Bleu du centre Inria Sophia Méditerrannée, Elena Cabrio, équipe SPARKS, soutient sa HDR intitulée "Artificial Intelligence to Extract, Analyze and Generate Knowledge and Arguments from Texts, to Support Informed Interaction and Decision Making".

Le vendredi 02 ocotobre 2020; lors d'une soutenance en ligne, Pedro Marinho R. de Oliveira, équipe SIS, soutient sa thèse intitulée "Tensor Modeling of the ECG for Persistent Atrial Fibrillation Analysis".
Le vendredi 02 octobre 2020, dans la salle de réunions des Templiers Est et en ligne, Pierre Leca, équipe COMRED, soutient sa thèse intitulée "Combining active object and BSP programs".
Le mercredi 1er juillet 2020 à 14h00, Edson Florez, équipe SPARKS, soutient sa thèse intitulée "Adverse Drug Reactions Detection in Clinical Notes".

Le lundi 22 juin 2020 à 15h, en salle de conférence du bâtiment les Algorithmes, Elisabetta De Maria, équipe MDSC, soutient sa HDR intitulée "Formal methods for Systems Biology: Contributions".
Le lundi 10 février 2020, en salle de conférence du bâtiment les Algorithmes, Gérald Rocher, équipe SPARKS, soutient sa thèse intitulée "Évaluation de l'Effectivité des Systèmes Ambiants".

Le lundi 16 décembre 2019 à 14h, en salle de conférence du bâtiment les Algorithmes, The Can DO, équipe SPARKS, soutient sa thèse intitulée "A context manager for solving conflicts between designers’ viewpoints".
Le lundi 16 décembre 2019 à 15h, en salle Euler Bleu du centre INRIA Sophia Antipolis Méditerranée, Claude Stolze, équipe COMRED, soutient sa thèse intitulée "Combining union, intersection and dependent types in an explicitly typed lambda-calculus".

Le jeudi 28 novembre 2019 à 10h30, en salle de conférence du bâtiment les Algorithmes, Lam Hung Nguyen, équipe SIS, soutient sa thèse intitulée "Nonlinear control and visual guidance of underwater vehicles".
Pour en savoir plus : consultez page d'explication le contexte général et la thèse de Lam Hung Nguyen
Le Lundi 8 Juillet 2019 à 10h00, en salle de conférences du bâtiment les Algorithmes, Julien Deantoni, équipe COMRED, soutient son Habilitation à Diriger les Recherches intitulée "Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models".
Version temporaire de la HDR de Julien DeantoniLe Lundi 8 juillet 2019 à 14h00, en salle Euler Violet du centre Inria Sophia Méditerrannée, Fionn Mc Inerney, équipe COMRED, soutient sa thèse intitulée "Jeux de Domination et d'Identification dans les Graphes".
Le Lundi 24 juin à 14.30h, au bâtiment Euler (salle Euler violet) du centre Inria Sophia Méditerranée, Andrea Tomassilli, équipe COMRED, soutient sa thèse intitulée "Vers les Réseaux de Nouvelle Génération avec SDN et NFV".

Le vendredi 11 janvier 2019 à 14h30, en salle de conférence du bâtiment les Algorithmes, Ophélie Guinaudeau soutient sa thèse intitulée "une formalisation de l’intégration dendritique et ses propriétés algébriques".
homepage d'Ophélie Guinaudeau
Le lundi 17 décembre 2018 à 10h, en salle de conférence du bâtiment les Algorithmes, Katy Blanc, équipe SPARKS, soutient sa thèse intitulée "Description de Contenu Vidéo : Mouvements et Élasticité Temporelle".
Pour en savoit plus : consultez la page de KatyLundi 17 décembre 2018 à 14h30, en salle de conférences du bâtiment les Algorithmes, Abdoul Macina, équipe SPARKS, soutient sa thèse intitulée "SPARQL Distributed Query Processing over Linked Data".

Le mercredi 12 Décembre 2018 à 14h, en salle Euler Bleu du centre INRIA Sophia Méditerranée, Michel Buffa, équipe SPARKS, soutient sa HDR intitulée "Des wikis aux simulations d’amplificateurs de guitare à lampes, le Web plateforme universelle….".

Le mercredi 12 décembre 2018 à 14h, en salle de conférences du bâtiment Les Algorithmes, Mélanie Ducoffe, équipe SPARKS, soutient sa thèse intitulée "Active Learning et Visualisation des données d’apprentissage pour les réseaux de neurones ".

Le mardi 11 décembre 2018 à 10h30, en salle de conférences du bâtiment Les Algorithmes, Vitalii Poliakov, équipe SIS, soutient sa thèse intitulée "Amélioration de la Qualité d'Expérience Vidéo en combinant Streaming Adaptatif, Caching Réseau et Multipath".

Le lundi 10 décembre 2018 à 10h30, en salle de conférences du bâtiment les Algorithmes, Arnaud Bletterer, équipe SIS, soutient sa thèse intitulée "Une approche basée graphes pour la modélisation et le traitement de nuages de points massifs issus d'acquisitions de LiDARs terrestres".
Pour en savoit plus : consultez le site d'Arnaud
Le Jeudi 29 Novembre 2018 à 14h00, en salle de conférence du bâtiment Les Algorithmes, Jean-Marie Kai, équipe SIS, soutient sa thèse intitulée "Contrôle Automatique de Véhicules Aériens à Voilure Fixe".

Le vendredi 23 novembre 2018 à 14h, en salle K1-K2 du Bâtiment Kahn du centgre Inria Sophia Méditerranée, Émilie Palagi, équipe SPARKS, soutient sa thèse intitulée "Évaluation des moteurs de Recherche Éxploratoire: Elaboration d'un corps de méthodes centrées utilisateurs, basées sur une modélisation du processus de recherche exploratoire".

Le vendredi 16 novembre 2018 à 14h00, en salle de conférence du bâtiment les Algorithmes, Clément Duffau, équipe SPARKS, soutient sa thèse intitulée "De l’élicitation d’exigences de justification jusqu’à leur production en continu".

Le vendredi 26 octobre 2018 à 10h00, en salle de conférence du bâtiment les Algorithmes, Heytem Zitoun, équipe MDSC, soutient sa thèse intitulée "Stratégies de recherche dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes".

Le mardi 23 ocotbre 2018 à 10h30, en salle Euler Bleu du centre Inria Sophia Antipolis Méditerranée, Frédéric Giroire, équipe COMRED, soutient sa HDR intitulée "Optimisation des infrastructures réseaux. Un peu de vert dans les réseaux et autres problèmes de placement et de gestion de ressources".
Pour en savoir plus : consultez la page de Frédéric Giroire
Le lundi 8 octobre 2018 à 10h00, en salle de conférence du bâtiment les Algorithmes, Alexandre Muzy soutient sa HDR intitulée "De la modélisation multi-niveau à la simulation par événements discrets. Formalisation et applications en biologie théorique".
Pour en savoir plus : consultez la page d'Alexandre Muzy
Le Mardi 02 Octobre 2018 à 14h00, en salle de conférence du bâtiment les Algorithmes, Jonathan Behaegel soutient sa thèse intitulée "Modèles hybrides de réseaux de régulation : étude du couplage des cycles cellulaire et circadien".
Pour en savoir plus : vidéo de Jonathan Behaegel dans MT180 en 2017Le jeudi 20 septembre 2018 à 10h30, en salle de conférence du bâtiment les Algorithmes, Claude Pasquier, équipe SPARKS, soutient sa HDR intitulée "Contributions à la fouille de données complexes".
Pour en savoir plus : consultez la page de ClaudeLe lundi 23 juillet 2018 à 10h00, en salle de conférence du bâtiment les Algorithmes, TRAN Duc Minh, équipe SPARKS, soutient sa thèse intitulée "Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies".
Le jeudi 19 juillet 2018 à 14h, en salle Euler Violet du centre Inria Sophia Antipolis Méditerranée, William Lochet, équipe COMRED, soutient sa thèse intitulée "Sous-structure dans les digraphes".

Le mercredi 4 juillet 2018 à 14h, en salle Euler Bleu du centre Inria Sophia Antipolis Méditerranée, Serena Villata, Chargée de Recherche CNRS, équipe SPARKS, soutient sa HDR intitulée "Explainable, Trustable and Emphatic Artificial Intelligence: from Formal Argumentation to Argumentation for Humans".
Le mardi 19 juin à 11h, en salle de conférences du bâtiment "Les Algorithmes", Célia da Costa Pereira, Maitresse de Conférences équipe SPARKS, soutient sa HDR intitulée "From Goal Generation in BDI Agents to Textual Information Retrieval and Mining".
Pour en savoir plus : consultez la page personnelle de Célia da Costa Pereira
Le vendredi 13 avril 2018 à 13h30, en salle Euler Violet au centre Inria Sophia Antipolis Méditerrannée, Agustina RAZETTI, équipe SIS, soutient sa thèse intitulée "Modelling and characterizing axon growth from in vivo data".

Le mercredi 4 avril 2018 à 15h, dans la salle de conférence du bâtiment les Algorithmes, Fernando Ireta, équipe SIS, soutient sa thèse intitulée "Global pose estimation and tracking for RGB localization and 3D mapping".
Pour en savoir plus : consultez la page de Fernando IretaLe vendredi 15 décembre 2017 à 14h30, en salle de conférence du bâtiment les Algorithmes, Vincenzo Mastandrea, équipe COMRED, soutient sa thèse intitulée "Analysis of synchronisation patterns in active objects based on behavioural types".

Le vendredi 1er décembre 2017 à 14h00, en salle de conférence du bâtiment des Algorithmes, Xhevahire Tërnava, équipe SPARKS, soutient sa thèse intitulée "Handling variability at the code level: modeling, tracing and checking consistency".

Le mercredi 8 novembre 2017 à 14h, salle de conférence du bâtiment les Algorithmes, Cyril Cecchinel, équipe Sparks, soutient sa thèse intitulée "DEPOSIT : Une approche pour exprimer et déployer des politiques de collecte de données sur des infrastructures de capteurs hétérogènes et partagées".

Le jeudi 12 octobre 2017 à 14h00, en salle de conférence du bâtiment des Algorithmes, Amel Ben Othmane, équipe Sparks, soutient sa thèse intitulée "CARS - A Multi-agent Framework to Support the Decision Making in Uncertain Spatio-temporal Real-world Applications".

Le lundi 2 octobre 2017, à 14h00, dans la salle de conférence du bâtiment les Algorithmes, Amosse Édouard, équipe SPARKS, soutient sa thèse intitulée "Event Detection and Analysis on Short Text Messages".
Le vendredi 22 septembre 2017 à 14h00, en salle de conférence du bâtiment Les Algorithmes, Tuan Anh Pham, équipe SPARKS, soutient sa thèse intitulée "OntoApp: une approche déclarative pour la simulation le fonctionnement d'un logiciel dès une étape précoce du Cycle de vie de développement".
Le vendredi 30 juin 2017 à 10h, dans la salle de conférence du bâtiment les Algorithmes, Lola Bautista, équipe SIS, soutient sa thèse intituée "
Phase Estimation for Differential Interference Contrast Microscopy".
Le leundi 19 juin 2017 à 15h00, en salle de conférences du bâtiment les Algorithmes, Ameni Bouaziz, équipe SPARKS, soutient sa thèse intitulée "Méthodes d'apprentissage interactif pour la classification des messages courts".

Le lundi 12 juin 2017 à 14h, en salle Euler Bleu au centre Inria Sophia Antipolis Méditerrannée, Catherine Faron Zucker, équipe SPARKS, soutient son habilitation à diriger des recherches intitulée "Knowledge Modelling and Processing for the Social Semantic Web".
Le jeudi 15 décembre 2016, à 14:00 dans la salle de conférence du bâtiment les Algorithmes, José Henrique DE MORAIS GOULART, équipe SIS, soutient sa thèse intitulée "Estimation de modèles tensoriels structurés et récupération de tenseurs de rang faible".

Le vendredi 9 décembre 2016, à 14h30, dans l'amphithéâtre Kahn à INRIA, Guillaume Ducoffe, équipe COMRED, soutient sa thèse intitulée "Propriétés métriques des grands graphes".
page sur la soutenance de Guillaume Ducoffe
Le mercredi 30 novembre 2016, à 08:30 dans la salle de conférence du bâtiment les Algorithmes, Atheer AL-NAJDI, équipe SPARKS, soutient sa thèse intitulée "Une approche basée sur les motifs fermés pour résoudre le problème de clustering par consensus".

Le lundi 28 novembre 2016, à 15h00, dans la salle de conférence du bâtiment les Algorithmes, Romaric Pighetti, équipe SPARKS, soutient sa thèse intitulée "Une méthode hybride pour la classification d'images à grain fin".

Le vendredi 28 Octobre 2016 à 14h dans la salle Euler Violet à l'INRIA, Gaël Michelin, équipe SIS, soutient sa thèse intitulée "Outils d'analyse d'images et recalage d'individus pour l'étude de la morphogenèse animale et végétale".

Le vendredi 14 octobre 2016, à 10h15, dans la salle de conférence du bâtiment les Algorithmes, Oleksandra Kulankhina, équipe COMRED, soutient sa thèse intitulée "A framework for rigorous development of distributed components: formalisation and tools".
liens vers le manuscrit
Le vendredi 14 octobre 2016, à 14h, dans l'amphithéâtre Kahn à INRIA, Emmanuel Soubies, équipe SIS, soutient sa thèse intitulée "Sur quelques problèmes de reconstruction en imagerie MA-TIRF et en optimisation parcimonieuse par relaxation continue exacte de critères pénalisés en norme-l0".

Le jeudi 22 septembre 2016, à 14h, dans la salle de conférence du bâtiment les algorithmes, Justine Rochas, équipe COMERD, soutient sa thèse intitulée "Execution Support for Multi-threaded Active Objects: Design and Implementation".
liens vers le manuscrit
Vendredi 6 Novembre 2015, 14h00, Freddy Lécué, chercheur à IBM Research - Ireland et collaborateur externe au groupe-projet Wimmics de l'équipe SPARKS, soutiendra son HDR dans la salle Euler Bleu à Inria Sophia Méditerranée. Le titre de son HDR est "Semantics for Scalable Machine Reasoning in the Web of Data".
pour en savoir plus : la page personnelle de Freddy Lécué