Catedràtica de Lògica de la Universitat Autònoma de Barcelona (UAB), és investigadora vinculada a l’Institut d’Investigació en Intel·ligència Artificial (IIIA-CSIC) i membre de la Barcelona Graduate School of Mathematics. Va treballar durant dos anys (1999-2001) com investigadora postdoctoral a l'Équipe de Logique Mathématique al Centre National de la Recherche Scientífique (CNRS) de la Universitat de París i va fer una estança d’investigació d’un any a l’Institut Data65 (UNSW Sydney, 2017-18). Va ser vicerrectora de la UAB (2012-2016). Actualment dirigeix diferents projectes sobre ètica i lògica en intel·ligència artificial.