Thèses de doctorat

- Co-encadrant de thèse de Michael Sioutis. Contributions algorithmiques au raisonnement spatial et temporel qualitatif basé sur des contraintes. Thèse débutée en 2013 et soutenue en 2016.

- Co-encadrant de thèse de Meriem Ammoura. Logiques floues et recherche opérationnelle. Thèse débutée en 2013 et soutenue en 2016.

- Co-encadrant de thèse de Abdelhamid Boudane. Fouille de données par contraintes. Thèse débutée en 2015 et soutenue en 2018.

- Co-encadrant de thèse de Yazid Boumarafi. Caractérisation de nouvelles classe traitables en SAT. Thèse débutée en 2016 et soutenue en 2019.

Master

- Yazid Boumarafi : Classes traitables en SAT et théorie des graphes. février 2016 - juillet 2016.

- Ghassen Sakouhi : Internet des objets et fouille de données. février 2016 - juillet 2016.

- Leopold Ndour : Fouille de contrastes: Approches déclaratives et application à la détection d'anomalies. février 2016 - juillet 2016.

- Abdelhamid Boudane : Fouille de données symboliques. février 2015 - juillet 2015.

- Rym Meghnous : Résolution étendue. février 2014 - juillet 2014.

- Fares Boudraa : Symétrie et fouille de séquences. février 2014 - juillet 2014.

- Cécilia Daquin : Logiques temporelles et formalismes qualitatifs. mars 2013 - juillet 2013.