Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Thèses en cours au LIFO

English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Thèses en cours au LIFO

Equipe CA : Contraintes et Apprentissage

  • Aymeric BEAUCHAMP (Clustering sous contraintes : intégration incrémentale et active)
  • Trung-Anh DANG (Continual learning: new classes discovery)
  • Duy-Dao DO (Apprentissage profond et intégration de connaissances pour l'extraction de relations temporelles )
  • Mathieu GUILBERT (Clustering sous contraintes : connaissances, retour utilisateur et interprétabilité)
  • Thibaut MARTINET (Apprentissage d'embeddings de codes : Applications à l'enseignement de la programmation)
  • Franck-Anael MBIAYA (Knowledge Integration in Deep Leaning for Computer Vision)
  • Thi-Hai-Yen VU (Apprentissage semi et auto-supervisé tirant parti du clustering avec connaissances. Application à la cartographie du potentiel minéral.)

Equipe GAMoC : Graphes, Algorithmes et Modèles de Calcul

  • Joanne DUMONT (Algorithmes exacts et approchés pour des problèmes de Clustering)

Equipe LMV : Langages, Modèles et Vérification

  • Téo BERNIER (Méthodes formelles intégrées pour la vérification de logiciels critiques)
  • Térence CLASTRES (Preuve déductive de programmes réactifs en SaIL)
  • Jérémy DAMOUR (Formalisation d'un modèle mémoire à région pour le langage C)
  • Florian GROULT (Vérification de modules critiques écrits en RUST de systèmes d’exploitation pour l’internet des objets)
  • Jordan ISCHARD (Analyse sémantique de langages parallèles basé sur le lambda-calcul)
  • Yani ZIANI (Vérification formelle des couches de confiance dans les logiciels)

Equipe Pamda

  • Tom BUDON (Parallélisation hétérogène appliquée au cadre de la simulation sismique basée sur les éléments finis spectraux)
  • Lingchen WANG (Bases de données graphe avec des informations incomplètes)

Equipe SDS : Sécurité des Données et des Systèmes

  • Mohammed AMRAOUI (Conception et Implémentation d'une Architecture de Gestion de la Provenance des Données Médicales pour les Systèmes Apprenants en Santé)
  • Lucas BIECHY (Sécurité et confidentialité des LLM)
  • Khouredia CISSE (Confidentialité dans l'établissement de canaux sécurisés en présence de proxies)
  • Yasmine HAYDER (Data Privacy on Graphs with semantic information)
  • Usman Rabiu ISAH (Deep Learning-based detection of unusual traffic in heterogeneous networks dedicated to agriculture)
  • Charlène JOJON (Signatures assainissables sur des données anonymisables et applications à la protection des données médicales.)
  • Clement LECOMTE (Optimisation de façon environnementale l’impact des Data Centres)
  • Xinqing LI (Securing Algorithms for Classification and Machine Learning on Personal Data using Trusted Execution Environments)
  • Mohammed Islem NADJI (Détection d'intrusion et SOC en environnement IoT)
  • Amine RIFI (Sémantique formelle et conformité prouvée des processus métier gérant des données à caractère personnel)
  • Eliott TARDIEU (Défense des data spaces dépendant de l’IoT)
  • Mariam WEHBE (Trust formalization in Zero Trust Architectures.)
  • Haoying ZHANG (Techniques de partage de données de télétravail respectueuses de la vie privée: Une approche basée sur le consentement éclairé des utilisateurs)