- Computer Science Laboratory

BAARIR Souheib

رخصة بإدارة البحوث
وحـدة : MoVe

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

مناقـشـة مـذكـرة : 19/06/2019

أعـضاء لجنة المناقـشة :

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)
M. Fabrice Kordon, Prof. (Sorbonne Université, Paris, France)
M. Philippe Quéinnec, Prof. (Toulouse INP, Toulouse, France)
M. Laurent Simon, Prof. (Bordeaux INP, Bordeaux, France)

Associate Professor [HDR]