Supervised theses

Supervised theses

Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm

Université Ibn Khaldoun, Defended on 29-07-2015

G. Rozenberg (Supervisor)
ROUCHDI Bilal (PhD candidate)

Categorical Foundations of Quantitative Algebraic Reasoning

Université Ibn Khaldoun, Defended on 29-03-2015

G. Rozenberg (Supervisor)
HAJJI Majid (PhD candidate)

Harnessing invariances, quantization, and sparsity in deep learning

Université Ibn Khaldoun, Defended on 29-06-2014

G. Rozenberg (Supervisor)
AZMANI Nizar (PhD candidate)

Self-assembly and mechanical properties of DNA quasicrystals

Université Ibn Khaldoun, Defended on 29-07-2014

G. Rozenberg (Supervisor)
KHADERI Mounir (PhD candidate)

Réseaux de preuve : graphes, canonicité, formalisation

Université Ibn Khaldoun, Defended on 29-03-2013

G. Rozenberg (Supervisor)
KHATIRI Yasser (PhD candidate)