BAARIR Souheib

Photo Maître de Conférences [HDR]
Équipe : MoVe
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 208
    4 place Jussieu
    75252 PARIS CEDEX 05

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

5 Doctorants (Direction de recherche / Co-encadrement)

  • HOUHOU Sara : Vérification paramétrée à partir de spécifications formelles de systèmes d'information
  • 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 : Groupes de partage pour solveurs sat parallèles
  • 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 Docteurs 2013 - 2019

Publications 2004-2021