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

  • Sofiane ELGUENDOUZE (Modèles explicables pour la détection d'anomalies dans des flux de données en présence d'informations textuelles)
  • Olivier GRACIANNE (Détection d’évènements cibles d’actualité à travers les signaux faibles dans des tweets)
  • Antoine GUILLAUME (Stratégies de maintenance prédictive multisite interprétables pour automates interactifs)
  • Viet Dung NGHIEM NGUYEN (Apprentissage et Programmation par contraintes)

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

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

  • Xavier FERRY (Vérification par ordre partiel. Application aux systèmes communicants à ressources limitées)
  • Darine RAMMAL (Programmation Réactive Synchrone : Sémantique et Application à l’IOT)

Equipe Pamda

  • Nicolas HIOT (Construction et interrogation orientée-contexte d’un graphe de connaissances à partir de données textuelles de la Pharmacovigilance)
  • Sébastien RIVAULT (Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle)
  • Haoran WANG (Parallélisme implicite pour la programmation de réseaux de neurones)

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

  • Adrien JOUSSE (Protection obligatoire auto-adaptative et sûre pour la défense en profondeur des systèmes automobiles)
  • Daniil KOZHEMIACHENKO (Dynamic epistemic logics for privacy)
  • Fergal MARTIN-TRICOT (Sécurité de l'Internet des Objets dans l'Industrie 4.0)
  • Sajad NAZARI (logique épistémique appliquée à la protection de la vie privée)
  • Salwa SOUAF (Formal methods meet Cloud computing Security)
  • Sara TAKI (Anonymisation de données liées)
  • Benjamin VIGNAU (Intelligence artificielle pour la santé : création d'une signature d'identification personnelle à l'aide d'un électrocardiogramme et gestion de données personnelles dans la médecine 4.0)
  • Jean-Yves ZIE DIALI (Efficient and scalable blockchain)