Es investigadora ICREA y profesora en el Departamento de Ingeniería de la Universitat Pompeu Fabra de Barcelona. Su trabajo se sitúa en la intersección entre la física, la lógica y la teoría de la computación. Investiga los fundamentos matemáticos de las paradojas, la autorreferencia y los límites de los sistemas formales. Sus trabajos conectan resultados clásicos de la lógica con estructuras abstractas de la matemática contemporánea. Además, se interesa por el diálogo entre ciencia, filosofía y arte en torno a los límites del conocimiento.
Creatividad