Amanda Vidal


Since October 2021 I am a Marie Curie Fellow at the Artificial Intelligence Research Institute, of the Spanish National Research Council (IIIA - CSIC) under the supervision of Felip ManyĆ”. Since May 2020 I have been contracted as a technician and postdoctoral researcher at the same institute, and before that, I spent four years as a postdoctoral fellow at the Institute of Computer Science of the Czech Academy of Sciences.

I am part of the Barcino Logic group, the Barcelona Research Group in Non-classical Logic.

My main research interests lie in the areas of Non classical logic and its applications. I have done several contributions on modal and other extensions of many-valued logics, concerning aspects of computability, axiomatizability and related algebraic studies, and also in their applicability in areas of AI by studying their practical efficiency and their relation with weighted structures from computer sciences. I have worked also in logical approaches to argumentation theory and recommendation systems, in theoretical studies on SAT and optimization variants of this problem, and on the algebraic approach to the constraint satisfaction problem.

I graduated both in Mathematics and in Computer Science in 2010 at Autonomous University of Madrid. In 2012 I obtained my Master's degree in Pure and Applied Logic at the University of Barcelona, and at the same university toguether with the Artificial Intelligence Research Institute (IIIA) - CSIC, I got my PhD in Pure and Applied Logic in 2015 with a qualification of Excelent Cum Laude. My doctoral dissertation was supervised by Lluis Godo, and co-supervised by Francesc Esteva and Felix Bou, and focuses on the axiomatization and related studies of modal expansions of the monoidal t-norm logic, and in the development of an automatic solver for them towards their applicability. This work was distinguished with the Best 2015 PhD Thesis Award given by the European Society for Fuzzy Logic and Tecnology (EUSFLAT).