OUAKILI Youssef
OUAKILI Youssef
  1. Y. Ouakili
  2. Research
  3. Supervised theses
Supervised theses
Out of Hypervsor
Université Ibn Khaldoun, Defended on 29-04-2020
  • Y. Ouakili (Supervisor)
  • LAHMAM Hafid (PhD candidate)
Programmation impérative par raffinements avec l'assistant de preuve Coq
Université Ibn Khaldoun, Defended on 29-05-2019
  • Y. Ouakili (Supervisor)
  • OUTTI Walid (PhD candidate)
Garder la trace, mettre de l'ordre et relier les points : modéliser la variation et l'ambiguïté des expressions polylexicales
Université Ibn Khaldoun, Defended on 29-06-2019
  • Y. Ouakili (Supervisor)
  • KRIECHE Bouchra (PhD candidate)
Temps et durée : de la programmation réactive synchrone à la composition musicale
Université Ibn Khaldoun, Defended on 29-01-2019
  • Y. Ouakili (Supervisor)
  • OUBERHAMOU Amine (PhD candidate)
Détection d’évènements anormaux dans les gros volumes de données d’utilisation issues des hélicoptères
Université Ibn Khaldoun, Defended on 29-05-2018
  • Y. Ouakili (Supervisor)
  • EDDAOUDI Souad (PhD candidate)