Participation in research projects

 

Current Projects

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 (2 years, May 2018–April 2020)

Past Projects

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