Amanda Vidal


Since May 2016 I am a postdoctoral fellow at the Institute of Computer Science of the Czech Academy of Sciences.

My main research interests lie in the areas of Non classical logic and its applications. I work mainly in modal and other extensions of many-valued logics, including axiomatizability and related algebraic studies, computability, applicability in areas of AI and practical efficiency studies, relation with weighted structures from CS, etc.

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).