Thèses Lab-STICC/ENSTA Bretagne

Points de contact : Pierre BOSSER, enseignant-chercheur responsable du pôle "IA et Océan" et de l'équipe M3 ; Dorian CAZAU, enseignant-chercheur responsable de l'équipe "OSE" ; Luc JAULIN, enseignant-chercheur responsable de l'équipe ROBEX.

Thèses en cours :

• Coraline DELBLOND : "Analyse automatique de l’environnement marin à partir de sonar haute résolution embarqué sur drones" (CIFRE ECA Robotics) - équipe M3
• Nathan FOURNIOL : "Communication avec relais intermédiaires navals autonomes (CORINA)" (région Bretagne, Thales) - équipe ROBEX
• Mohammed Ali GHANNAMI : "Inférence statistique de la hauteur de la colonne d'eau par analyse radiométrique et géométrique d'images spectrales" (région Bretagne, IFQM) - équipe M3
• Morgan LOUEDEC : "Stratégies de coopération d’une flotte de robots sous-marins pour réalisation
  de missions autonomes" (AID, région Bretagne) - équipe ROBEX
• Guillaume MORIN-DUPONCHELLE : "Reconnaissance automatisée de points d'intérêt pour un robot d inspection dans un environnement contraint et dégradé" (CIFRE PILGRIM) - équipe ROBEX
• Fabien NOVELLA : "Analyse et exploitation des données LF SAS pour la reconnaissance de cibles" (DGA) - équipe M3
• Rémi RIGAL : "Moteur de dialogue multimodal adaptatif dans un système multi-capteurs et multi-actionneurs appliqué à une plateforme robotique" (CIFRE Orange Labs) - équipe ROBEX

Thèses soutenues en 2022 - 2023 :

• Irène MOPIN : "Caractérisation précise de l'indice de rétrodiffusion acoustique pour l'amélioration de l'identification des fonds marins" (DGA, avec l'université de Bath) - équipe ROBEX (soutenue en 2023)
• Julien DAMERS : "Exploration par un groupe de robots sous-marins" (CIFRE KOPADIA) - équipe ROBEX (soutenue en 2022)

Thèses soutenues en 2021 :

• Auguste BOURGOIS : "Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem" (CIFRE FORSSEA) - équipe ROBEX
• Joris TILLET : "petit poucet: localisation en environnement inconnu" (DGA, région Bretagne) - équipe ROBEX
• Xiaomin WANG : "Autonomous perception algorithms for a team of underwater robots : coordination strategy based on on-board cameras" (avec OUC) - équipe ROBEX

Points de contact : Gilles LE CHENADEC, enseignant-chercheur responsable de l'équipe MATRIX

Thèses en cours :

• Perrine BAUCHOT : "Learning Optimal Measurements and Sampling Strategies for Multi-Platform Ocean Monitoring Surveillance"
• Thomas CHAFFRE : "Adaptative control of underwater robots with Machine Learning" (région Bretagne, Flinders university, Naval Group)
• Quentin FERDINAND : "Incremental learning for classification of Objects of Interest" (CIFRE Naval Group)
• Ali HAIDAR AHMAD : à compléter
• Alexandre L'HER : "Propagation acoustique en milieu fluctuant : des phénomènes océanographiques au traitement du signal" (Cifre Thales)
• Aliah MAJED : "Sensing-based Self-Reconfigurable Strategies for Autonomous Modular Robotic Systems" (AUCE Liban)
• Quentin SAINT-CHRISTOPHE : "Falsification des données par fusion de données" (chaire cyber) - équipe Decide

Thèses soutenues en 2022 :

• Milan COURCOUX-CARO : "Conception optimisée d antennes pour la localisation passive de sources acoustiques sous-marines" (DGA) - équipe Matrix

Thèses soutenues en 2021 :

• Thomas PAVIET-SALOMON : "Super résolution modale et discrimination à partir d'une antenne linéaire tractée" (DGA, ENSTA Bretagne)
• Yoann SOLA : "Commande robuste avec prise en compte des incertitudes de modélisation" (DGA, région Bretagne)

Points de contact : Ciprian TEODOROV, enseignant-chercheur responsable du pôle SHARP et de l'équipe P4S ; Loïc LAGADEC, enseignant-chercheur responsable de l'équipe ARCAD ; Jalil BOUKHOBZA, enseignant-chercheur responsable de l'équipes SHAKER.

Thèses en cours :

• Lydia AIT OUCHEGGOU : "optimisation du système de stockage pour les infrastructures réseau NDN" (NIST) - équipe SHAKER
• Quentin DUCASSE : "Déploiement matériels logiciels de machines virtuelles sécurisées : Plateforme Manycore Risc-V Hétérogène pour l’IoT" (Brest métropole, Pôle d'Excellence Cyber) - équipe ARCAD
• Sylvain GUERIN : "Fédération de Modèles, une approche compositionnelle de modélisation" (AID) - équipe P4S
• Hiba HNAINI : "Vers un cadre unificateur pour la spécification, formalisation et l’analyse d’architectures matérielles et logicielles sécurisées" (AID) - équiper P4S
• Vincent LANNURIEN : "Ordonnancement sur ressources hétérogènes pour le Cloud" (IRT bcom) - équipe SHAKER
• Maelic LOUART : "Détection automatique en temps réel des usurpations AIS" (région Bretagne, chaire Cyber navale) - équipe ARCAD
• Hocine MAHNI : "Placement de données HPC sur systèmes de stockage multi niveaux et hétérogène DataMeSS: HPC Data Placement on Heterogeneous and Multilevel Storage Systems" (ENSTA Bretagne) - équipe SHAKER
• Louis-Marie NICOLAS : "Optimisation de l'Énergie des E/S par apprentissage frugal et fédéré pour des applications HPC" - équipe SHAKER
• Matthias PASQUIER : "Considération explicite d'un système d'exploitation embarqué dans un processus de certification de cybersécurité" (CIFRE ERTOSGENER) - équipe ARCAD
• Anne-Laure WOZNIACK : "Cadre novateur de test des composants logiciels à base de réseaux neuronaux pour les systèmes critiques" (CIFRE KEREVAL) - équipe P4S

Thèses soutenues en 2022 :

• Amina CHIKHAOUI : "Vers une approche intelligente de placement de données dans un cloud distribué basé sur un système de stockage hybride" (USTHB, Algérie) - équipe SHAKER
• Emilien FOURNIER : "Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables" (Pôle d'Excellence Cyber, région Bretagne) - équipe P4S
• Camélia SLIMANI : "Vers de l’Edge Intelligence ́économe en E/S" (CDE, région Bretagne) - équipe SHAKER
• Nicolas SUN TITHNARA : "Mod-Menace - Modèle système dynamique pour l'analyse de la menace" (Pôle d'Excellence Cyber, DGA) - équipe P4S

Thèses soutenues en 2021 :

• Bastien DROUOT : "Fédération de modèles pour l'analyse de cybersécurité du point de vue d'un attaquant" (région Bretagne, DGA) - équipe SHARP
• Hannah BOENNING BADIER : "Techniques d’obsfucation pour HLS en mode SAAS" ( Pôle d'Excellence Cyber, région Bretagne) - équipe SHARP
• Mohammed BEY AHMED KHERNACHE : "Performance et efficacité énergétique du décodage des standards vidéo de nouvelle génération sur les architectures multi-cœurs basse consommation" (FUI EFIGI) - équipe SHARP

Point de contact : Ali KHENCHAF, enseignant-chercheur responsable du pôle SyPH et de l'équipe PIM.

Thèses en cours :

• Sylvain BORDERIEUX : "Couplage optique micro-onde quantique dans la perspective du radar quantique." (DGA)
• Clet BOUDEHENN : "Détection d'intrusion dans un système navire." (Chaire cyberdéfense des systèmes navals)
• Hamza BOUNACEUR : "Détection et suivi de cibles mobiles de faible SER en environnement maritime à partir d'un aéronef de type drone." (région Bretagne, ENSTA Bretagne)
• Louis LESIEUR : " Désentrelacement et pistage de formes d’onde radar par techniques IA" (CIFRE Thales)
• Aurélie PANETIER : "GNSS embarqué en pleine mer pour la métrologie et la climatologie : Développement de méthodes d'analyse de données GNSS acquises par des antennes embarquées 
  en pleine mer pour l’amélioration de la trajectographie et de la caractérisation de la vapeur d’eau atmosphérique (projet Méditerranée : + d'infos)

Thèse soutenue en 2021 :

• Hadi Ismaël HIJAZI : "Sécurisation sur la couche physique d'un lien radio par la technique du full-duplex" (région Bretagne). (équipe Lab-STICC DH / pôle MatRF)

Point de contact : Ali MANSOUR, enseignant-chercheur responsable de l'équipe SI3

Thèses en cours :

• Grégoire DE BROGLIE : "Stealth communications by Software Defined Radio with aerial drone in a Cognitive Radio context" (DGA chaire IoT)
• Katia KARAM : "controlled path optimized and self-aware unmanned aerial vehicle for smart agriculture sector" 
• Louis MORGE-ROLLET : "Authentification par empreinte radio d'IoT" (DGA chaire IoT)
• Aurélien OLIVIER : "Deep learning et méthodes pour la caractérisation d'une trombose veineuse profonde par échographie et élastographie" (CHRU Brest, ENSTA Bretagne)
• Hesham SADAT : "à préciser" (Egypte)

Thèses soutenues en 2021 :

• Kahina BENSAFIA : "Séparation aveugle de sources ; application aux signaux bio-médicaux" (Algérie)
• Rida MORTADA : "Multi-hop routing for cognitive radio sensor network" (AUCE Liban)
• Marwa IBRAHIM : "Energy-Efficient Strategies and Big Data Analytics Within the Wireless Sensors Networks" (AUCE Liban)

Thèses soutenues en 2020 :

• Guillaume BEAUMONT (contrat DGA) : « Traitements correctifs des effets de décohérence induits par les fluctuations du milieu de propagation ».
• Maëlle TORTEROTOT (bourse région) : « Traitement et analyse de signaux bioacoustiques dans l'océan indien austral ».
• Paul NGUYEN HONG DUC (bourse DGA) : « Development of artificial intelligence methods for marine mammal detection and classification of underwater sounds in a weak supervision (but) Big Data-Expert context ».
• Antoine D'ACREMONT (CIFRE MBDA) : « Reconnaissance et identification de cibles en imagerie infrarouge par apprentissage profond ».

Thèses soutenues en 2019 :

• Juan Luis ROSENDO (bourse Eiffel, en cotutelle avec l’université argentine de La Plata) : "Robust techniques of automatic control for mobile robotic systems" (Techniques robustes pour le contrôle automatique des systèmes robotiques).

Thèses soutenues en 2018 :

• Rémy EMMETIERE (CIFRE THALES) : « Discrimination en profondeur de source acoustique en eau profonde via l’utilisation d’invariants d’antenne et de guide d’onde ». Encadrement académique : WHOI, ENSTA Bretagne/TOMS.
• Gaëtan RICHARD (financement : régions Deux Sèvres et Poitou Charentes, programme ANR ORCA Depred) : « Conflits d’usage hommes/mammifères marins dans les pêcheries - Evaluations des pertes économiques, recherche de solutions.
• Ayoub KARINE : «Traitement et classification parcimonieuse des images radar pour l’aide à la reconnaissance de cibles» (thèse co-encadrée par les équipes TOMS et PIM, en lien avec le développement et l’application de l’IA dans le domaine radar).

Thèses soutenues en 2017 :

• Emmanuelle LEROY : "Surveillance acoustique des baleines bleues antarctique dans l’océan Indien Austral" (bourse région Bretagne)
• Ewen CONAN : "Discrimination en immersion de sources ultra basse fréquence" (contrat LMA-CNRS)
   

Thèse soutenue en 2020 :

• Charles COQUET (CIFRE Thales) : « Recherche multi-agents d'une source par mesure d'une grandeur scalaire associée ».

Thèses soutenues en 2019 :

• Thomas LE MEZO (financement : DGA, région Bretagne) : Bracketing largest invariant sets of dynamical systems : an application to drifting underwater robots in ocean currents  (Encadrement des plus grands ensembles invariants de systèmes dynamiques : une application aux robots sous-marins dérivant dans les courants océaniques). Prix de thèse DGA en 2021 : + d'infos
• Gaspard MINSTER (financement : ANR) : « Modélisation du processus de saltation (transport de sédiment) en milieu extrême. Application au raz Blanchard ».
• Thibaut NICO (CIFRE ECA Robotics) : « Étude et développement de solutions de relocalisation d’objets sous-marins par des véhicules sous-marins hétérogènes ».
• Vincent MYERS (financement : Defence & Research Canada) : « Traitement, interprétation et exploitation d'images sonar à antenne synthétique obtenues à partir de trajectoires répétitives ».

Thèses soutenues en 2018 :

• Florian NICOLAS : « Amélioration des techniques de détection de changement pour la lutte contre les mines sous-marines en situation de surveillance » (CIFRE THALES), dans le cadre du laboratoire commun WAVES.
• Benoit DESROCHERS : « Simultaneous localization and mapping in unstructured environments : a set-membership approach » (DGA).
• Julien OGOR : « Description morphométrique de la dynamique des dunes et des bancs de sable sous-marins en vue de leur classification » (DGA, ARED).
• Rabine KEYETIEU : « Calibration of Multi-Beam Echo Sounder systems by inverse methods » (CIDCO France).
• Dominique MONNET : « Global Minmax Optimization for robust H-infini control» (Brest métropole, DGA).

Thèses soutenues en 2017 :

• Laurent PICARD : "Prise en compte de l’environnement marin en reconnaissance automatique de cibles sous-marines." (DGA)
• Jérémy NICOLAS : "Localisation et cartographie en simultané fiable, précise et robuste d'un robot sous-marin" (CIFRE IXBLUE)
• Simon ROHOU : "Reliable robot localization: a constraint programming approach over dynamical systems" (Localisation fiable de robots sous-marins : approche de programmation par contraintes sur des systèmes dynamiques). (DGA, université de Shefield)

Thèses soutenues en 2020 :

• Mahmoud AL MASRI (bourse du Liban, avec l’UL : Université Libanaise) : « Théorie des jeux pour les communications militaires tactiques ».
• Jean-Marie KADJO (bourse de Côte d’Ivoire) : « Analyse Spectrale et Temporelle des Signaux de Communications Numériques et Applications en Radio Cognitive ».
• Michel Ghattas AKKAD (bourse du Liban, université de Balamand) : « Optimisation et implémentation des algorithmes de formation des voies sur des systèmes embarqués ».
• Mme Moawad AZZA (AAMSET, Egypte) : « Approches renforcées de la détection du spectre dans le contexte de la radio cognitive ».

Thèses soutenues en 2018 :

• Thibaut BERTHOMIER : "Identification et caractérisation du thrombus veineux par imagerie échographique mode B couplée à l’élastographie" (CHU Brest, région Bretagne).
• Hani EL-FAWAL : "Machine-to-Machine Communication Congestion Mechanism" (ENSTA Bretagne et Arts, Sciences & Technology University in Lebanon).

Thèse soutenue en 2020 :

• Valentin BESNARD (contrat CIFRE Davidson Consulting, avec ESEO) : « EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués ». Principaux résultats : la formalisation mathématique du cadre logiciel, la réalisation d’un interpréteur de modèles UML “bare-metal” et l’évaluation sur de nombreux cas d’études (automobile, ferroviaire, aéronautique, robotique).

Thèse soutenue en 2019 :

• Vincent LEILDE (financement : région Bretagne) : « Aide au diagnostic de vérification formelle de systèmes ». Cette thèse était menée dans le cadre du projet DEPARTS (DEsign PAtterns for Real-Time and Safe applications), financé de 2013 à 2018 par le programme des investissements d’avenir sur les « Briques Génériques du Logiciel Embarqué ».

Thèses soutenues en 2018 :

• Théotime BOLLENGIER : « Du prototypage à l’exploitation d’Overlays FPGA » (IRT Bcom).
• Charbel AOUN : « An enterprise architecture and model driven engineering based approach for sensor networks » (université AUL au Liban).
• Fadi OBEID : « Validation formelle d’implantation de patrons de sécurité » Application à la vérification de systèmes de commande control industriels (Brest métropole, DGA).
• Cyrielle FERON : « PAnTHErS : un outil d’aide pour l’analyse et l’exploration d’algorithmes de chiffrement homomorphe » (Brest métropole).
• Luka LE ROUX : « Validation par parties et non-intrusive de systèmes embarqués ». Cette thèse a été brillamment menée dans le cadre d’une VAE (validation des acquis de l’expérience), un travail de recherche remarquable souligné par le jury, consistant à développer des aspects théoriques dans le domaine de la validation formelle de logiciels et les décliner pour des applications très complexes, comme celles proposées par la SNCF ou NEXTER.

Thèses soutenues en 2017 :

• Abbass NASSER : "Allocation dynamique des bandes-fréquentielles en radio cognitive" (avec American University of Culture and Education (AUCE), Beirut, Liban)
• Xuan Sang LE : "software/FPGA co-design for Edge-computing : Promoting object-oriented design" (région Bretagne, Mines de Douai)
• Ammad uddin MOHAMMAD : "Utilisation des drones pour une agriculture intelligente" (avec Sensor Networks & Cellular Systems (SNCS), Tabuk, KSA)

Thèses soutenues en 2020 :

• Ngoc TAN TRUONG (bourse e-PANEMA, ADEME, avec SAFRAN, DIADES Marine et ENSM) : « Hybridation multi-sources pour améliorer les fonctions de détection, pistage, localisation et positionnement dans des environnements difficiles ».
• Antoine FOUCAULT (CIFRE Thales) : « Détection des émetteurs à faible puissance d’émission ou radar LPI ».

Thèses soutenues en 2019 :

• Naïma AMROUCHE (financement : allocation du gouvernement Algérien ; avec l’université nationale polytechnique d’Alger) : « Détection, localisation et suivi de cibles manoeuvrantes - Méthodes et algorithmes de poursuite de cibles ».
• Honglei ZHENG (bourse chinoise ; avec Ocean University of China de Qingdao) : « Étude de la signature électromagnétique d'une surface de mer seule ou couverte de pétrole ».
• Clément ROUSSEL (bourse DGA) : "Stochastic differential equations for the electromagnetic field scattered by the sea surface : applications to remote sensing" (Équations différentielles stochastiques pour le champ électromagnétique diffusé par la surface de mer ; applications à la télédétection).

Thèse soutenue en 2018 :

• Ayoub KARINE : « Traitement et classification parcimonieuse des images radar pour l’aide à la reconnaissance de cibles » (en co-tutelle avec l’Université Mohamed V de Rabat), en lien avec le développement et l’application de l’IA dans le domaine radar. Thèse co-encadrée par les équipes PIM et TOMS du Lab-Sticc.

Thèses soutenues en 2017 :

• Romain GIACOMETTI : "Détection et localisation des signaux radar (systèmes passifs ou discrets)." (CIFRE Thales)
• Hugo SEUTE : "Localisation passive d’emetteurs radar par mesures de tdoa (temps différentiel d’arrivée)" (CIFRE Thales)