Marie Van Den Bogaard, récompensée pour ses travaux sur la vérification des systèmes réactifs