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 70 11
Fax: +33 (0)2 38 41 71 37



Thèses en cours au LIFO

Equipe CA : Contraintes et Apprentissage

  • Cherifa BEN KHELIL (Description de la syntaxe et sémantique de la langue arabe au moyen des grammaires d'arbres adjoints)
  • Gaëtan CAILLAUT (Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées)
  • Teddy DEBROUTELLE (Reconnaissance automatique de motifs céramiques par analyse d’images 2D et 3D (Co tutelle PRISME))

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

Equipe LMV : Logique, Modélisation et Vérification

  • Allan BLANCHARD (Vérification formelle des composants critiques de systèmes d'exploitation et d'hyperviseurs de Cloud)
  • Xavier FERRY (Vérification par ordre partiel. Application aux systèmes communicants à ressources limitées)
  • Arvid JAKOBSSON (Analyse statique, vérification et génération de programmes BSPlib)
  • Vivien PELLETIER (Vers la maîtrise des approximations pseudo-régulières pour la vérification de programmes parallèles)
  • Samuel RISBOURG (Vérification d'un hyperviseur en aveugle pour la sécurisation de l'exécution de machines virtuelles.)

Equipe Pamda

  • Thanh Binh NGUYEN (Vers une assistance intellignet à l'exploitatoin des services et données web)
  • Gauthier SORNET (Parallélisation implicite appliquée au calcul scientifique)

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

  • Axel MICHEL (Sécurisation de calculs répartis sur des données personnelles.)
  • Tuan Hiep TRAN (Risques informatiques et processus métiers)