Catedrática de Lógica de la Universidad Autónoma de Barcelona (UAB), es investigadora vinculada al Instituto de Investigación en Inteligencia Artificial (IIIA-CSIC) y miembro de la Barcelona Graduate School of Mathematics. Trabajó durante dos años (1999-2001) como investigadora postdoctoral en el Équipe de Logique Mathématique en el Centre National de la Recherche Scientifique (CNRS) de la Universidad de París e hizo una estancia de investigación de un año en el Instituto Data65 (UNSW Sydney, 2017-18).  Fue vicerrectora de la UAB (2012-2016). Actualmente dirige diferentes proyectos sobre ética y lógica en inteligencia artificial.