Yanis Sellami: Abductive reasoning modulo theories and an application to program verification. (Raisonnement abductif modulo des théories et application à la vérification de programmes). Grenoble Alpes University, France 2020