background

Etudiants

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.

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

Master

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

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

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

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

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

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