Thèses encadrées

Thèses encadrées

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

Université Ibn Khaldoun, Soutenue le 29-07-2015

G. Rozenberg (Encadrant)
ROUCHDI Bilal (Thésard)

Categorical Foundations of Quantitative Algebraic Reasoning

Université Ibn Khaldoun, Soutenue le 29-03-2015

G. Rozenberg (Encadrant)
HAJJI Majid (Thésard)

Harnessing invariances, quantization, and sparsity in deep learning

Université Ibn Khaldoun, Soutenue le 29-06-2014

G. Rozenberg (Encadrant)
AZMANI Nizar (Thésard)

Self-assembly and mechanical properties of DNA quasicrystals

Université Ibn Khaldoun, Soutenue le 29-07-2014

G. Rozenberg (Encadrant)
KHADERI Mounir (Thésard)

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

Université Ibn Khaldoun, Soutenue le 29-03-2013

G. Rozenberg (Encadrant)
KHATIRI Yasser (Thésard)