BAARIR Souheib

Contributions to propositional satisfiability solving and its applications to the analysis of systems.

Defence : 06/19/2019 - 14h - Campus Jussieu, Atrium, Salle RC 27

Jury members :

M. Gilles Audemard, Prof. (Université d’Artois, Arras, France) {Rapporteur}
M. Vijay Ganesh, Prof. (Waterloo University, Waterloo, Canada) {Rapporteur}
M. Dirk Nowotka, Prof. (Kiel University, Kiel, Germany) {Rapporteur}
Mme. Emmanuelle Encrenaz-Tiphene, MCF, HDR (Sorbonne Université, Paris, France) {Examinatrice}
M. Fabrice Kordon, Prof. (Sorbonne Université, Paris, France) {Examinateur}
M. Philippe Quéinnec, Prof. (Toulouse INP, Toulouse, France) {Examinateur}
M. Laurent Simon, Prof. (Bordeaux INP, Bordeaux, France) {Examinateur}

5 PhD students (Supervision / Co-supervision)

  • HOUHOU Sara : Parameterized Verification from Formal Specifications of Information Systems
  • KHEIREDDINE Anissa : ParallĂ©lisation et optimisation du Bounded model-checking
  • SAOULI Sabrine : Exploitation des symĂ©tries locales pour les rĂ©solutions des problèmes SAT
  • VALLADE Vincent : Sharing groups for parallel SAT solvers
  • XU Hao : Hybridation de mĂ©thode de compilation de contraintes, Solveurs SAT, mĂ©thodes d'apprentissage pour maĂ®triser la complexitĂ© de la gamme Renault

4 PhD graduated 2013 - 2019