Participation in research projects

 

Current Projects

ClaVa: Clausal forms for Vague information processing. Postdoctoral Marie Skłodowska-Curie Individual Fellowship, Grant agreement No. 101027914. Funded by EU H2020.

Past Projects

NanoMOOCs: Nou format audiovisual amb funcionalitats tecnològiques avançades per a l’aprenentatge. RIS3CAT project No.COMRDI18-1-0010, funded by the Generalitat de Catalunya. (2020).

RASO: Razonamiento, Satisfaccion y Optimizacion. TIN2015-71799-C2-1-P National project, funded by the Spanish Ministerio de Economia y Competitividad. (2019)

Enhancing human resources in theoretical computer science: MFLTicsc. CZ.02.2.69/0 .0/0.0/17_050/0008361. Principal Investigator. Funded by the Operational Programme Research, Development and Education and co-funded by the EU under the programme H2020 (2018–2020)

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logic. 689176 of Horizon 2020 Marie Skłodowska-Curie RISE, 2016-2018. (SYSMICS)

Predicate graded logics and their applications to computer sciences. GACR17-0S of the Czech Science foundation, 2017-2019.

Modelling vague quantifiers in mathematical fuzzy logic. Joint project of Austrian Science Fund I1897-N25 and Czech Science Foundation GF15-34650L, 2015-2018.

Nonclassical Mathematics Based on Fuzzy, Paraconsistent and Substructural Logics Mathematical Tools for the Management of Uncertain and Vague Information.

Joint research project ICS-CAS and Research Institute for Mathematical Sciences, Kyoto University

Logal Logica y algoritmos

EdeTRI: Study and development of technologies for the efficient resolution of reasoning problems with incomplete information.

GEAR: Strategic management of high performande sales team.

MaToMuVI: Mathematical Tools for the Management of Uncertain and Vague Information. FP7-PEOPLE MC 2009-IRSES 247584.

AT: Agreement Technologies. COST Action IC0801