BAARIR Souheib

Photo Associate Professor
Team : MoVe
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 208
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 61 92, Souheib.Baarir (at) nulllip6.fr
https://lip6.fr/Souheib.Baarir
https://lip6.fr/Souheib.Baarir

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

2004-2021 Publications