MHAMDI Abdelhafid
MHAMDI Abdelhafid
  1. A. Mhamdi
  2. Recherche
  3. Thèses encadrées
Thèses encadrées
Proof Theory of Probabilistic Temporal Logics
Université Ibn Khaldoun, Soutenue le 29-04-2015
  • A. Mhamdi (Encadrant)
  • ANADIF Adnan (Thésard)
Certificats Nullstellensatz pour des problèmes combinatoires
Université Ibn Khaldoun, Soutenue le 29-04-2014
  • A. Mhamdi (Encadrant)
  • AYACHI Oumar (Thésard)
Programming model to assemble compute kernels safely and efficiently : future-based synchronization for arrays and matrices
Université Ibn Khaldoun, Soutenue le 29-05-2014
  • A. Mhamdi (Encadrant)
  • OUALI Nour-eddin (Thésard)
Linear programming decoders for quantum LDPC codes
Université Ibn Khaldoun, Soutenue le 29-01-2013
  • A. Mhamdi (Encadrant)
  • MACHMOUL Mohammed (Thésard)
Process-based semantics for higher-order languages
Université Ibn Khaldoun, Soutenue le 29-05-2013
  • A. Mhamdi (Encadrant)
  • BOUCHAMA Asmaa (Thésard)