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