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

Lifo > Doctoral Research at LIFO

 Site en Français



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



Doctoral Research at LIFO

Team CA : Constraints and Machine Learning

  • Cherifa BEN KHELIL (Describing syntax and semantics of arab language based on tree-adjoining grammars)
  • Gaëtan CAILLAUT (Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées)
  • Teddy DEBROUTELLE (Pattern mining for tessels based on 2D and 3D image analysis (With PRISME lab))

Team GAMoC : Graphs, Algorithms and Models of Computation

Team LMV : Logic, Modelling and Verification

  • Allan BLANCHARD (Formal verification of critical components in OS and Cloud hypervisors.)
  • 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 (Towards the good command of pseudo-regular approximations for parallel program verification)
  • Samuel RISBOURG (Vérification d'un hyperviseur en aveugle pour la sécurisation de l'exécution de machines virtuelles.)

Team Pamda

  • Gauthier SORNET (Parallélisation implicite appliquée au calcul scientifique)

Team SDS : Security of Data and Systems

  • Axel MICHEL (Securing distributed computations on personal data)
  • Tuan Hiep TRAN (Risques informatiques et processus métiers)