Sarra Djebour
Extending Constraint Acquisition for Efficient Black-Box Code Analysis. (Apr. 2024--2027) CEA scholarship (CEA LIST).
Co-supervised with Sébastien Bardin, Arnaud Gotlieb and Grégoire Menguy
Aicha Boukhari
Symbolic Machine Learning for Reverse Engineering of Binary Code. (Feb. 2024--2027) CEA scholarship (CEA LIST).
Co-supervised with Sébastien Bardin, Arnaud Gotlieb and Grégoire Menguy
Trustworthy Artificial Intelligence for Digital Radiology Systems: Methodology and Implementation. (Feb. 2023--2026) CIFRE scholarship (Nehs DIGITAL).
Co-supervised with Jérémy Clech and Arnaud Gotlieb
Combining Program Analysis and Machine Learning for Cybersecurity. (Oct. 2019-- Mar. 2023) CEA scholarship.
Co-supervised with Sébastien Bardin and Arnaud Gotlieb
Boosting Combinatorial Problem Solving with Machine Learning. (Oct. 2019- July 2023) Bourse Algérienne/ PROFAS B+ (Campus France).
Co-supervised with Yahia Lebbah and Moussa Benaissa
Farah Amel Benzeghimi
Numerical Pattern Mining Based on Constraint Programming. (Oct. 2019-- Dec. 2022) Bourses d’excellence du gouvernement Algérien (Aborted).
Co-supervised with Christian Bessiere
Declarative Itemset Mining Based on Constraint Programming. (October 2016-- January 2020) Bourses d’excellence du gouvernement Algérien.
Co-supervised with Christian Bessiere
Machine Learning Based Software Testing: a Comprehensive Study for Automated Software Verification and Validation. (January 2016-- November 2018) SIMULA funding.
Co-supervised with Arnaud Gotlieb and Souhila Kaci
Constraint Acquisition. (October 2015--September 2018) Bourse MESR (Aborted).
Co-supervised with Christian Bessiere
Localisation de fautes à l’aide de la fouille de données sous contraintes.(Novembre 2013-- May 2017) Bourse Algérienne/ PROFAS B+ (Campus France).
Co-supervised with Yahia Lebbah
Boosting Constraint Acquisition. (Mar. 2013- May 2016) Bourse AVERROES.
Participant
Areski Himeur -- Deep Constraint Acquisition -- (2020-2021)
Nassim Adrao -- Robust Constraint Acquisition -- (2020-2021)
Rami Younes -- Deep Learning based Constraint Acquisition -- (2019-2020)
Mehdi Zrhal -- Declarative Pattern Mining - (2018-2019)
Robin Arcangioli -- Multiple Constraint Acquisition - (2014-2015)
Gaelle Hisler -- Reasoning with preferences - (2013-2014)
Abdelmourhit Maziane -- Constraint-based Clustering - (2012-2013)