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



Doctoral Research at LIFO

Team CA : Constraints and Machine Learning

Team GAMoC : Graphs, Algorithms and Models of Computation

Team LMV : Languages, Models and Verification

  • Xavier FERRY (Vérification par ordre partiel. Application aux systèmes communicants à ressources limitées)
  • Darine RAMMAL ( Reactive Synchronous Programming : Semantics and Application to IOT)

Team Pamda

  • Haoran WANG (Parallélisme implicite pour la programmation de réseaux de neurones)

Team SDS : Security of Data and Systems

  • Adrien JOUSSE (Protection obligatoire auto-adaptative et sûre pour la défense en profondeur des systèmes automobiles)
  • 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)
  • Jean-Yves ZIE DIALI (Efficient and scalable blockchain)