Phd students

• 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

   

• Clotilde Brayé

  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

   

• Grégoire Menguy

  Combining Program Analysis and Machine Learning for Cybersecurity. (Oct. 2019-- Mar. 2023) CEA scholarship.

  Co-supervised with Sébastien Bardin and Arnaud Gotlieb

   

• Nassim Belmecheri

  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

   

• Mohamed-Bachir Belaid

  Declarative Itemset Mining Based on Constraint Programming. (October 2016-- January 2020) Bourses d’excellence du gouvernement Algérien.

  Co-supervised with Christian Bessiere

   

• Carlo Ieva

  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

   

• Robin Arcangioli

  Constraint Acquisition. (October 2015--September 2018) Bourse MESR (Aborted).

  Co-supervised with Christian Bessiere

   

• Mehdi Maamar

  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

   

• Abderrazak Daoudi

  Boosting Constraint Acquisition. (Mar. 2013- May 2016) Bourse AVERROES.

Participant