Grants

CURRENT PROJECT:

• Local coordinator of Modalities in Substructural Logics: Theory, Methods and Applications MOSAIC, European project H2020-MSCA-RISE-2020, 2021-2026. Budget for my team: 26.600 EUR.

MY PAST FUNDED PROJECTS:

• Principal investigator of Reasoning with graded properties, Czech Science Foundation 18-00113S, 2018-2020. Total budget: 5.871.000 CZK (approx. 230.000 EUR).

• Principal investigator of Predicate graded logics and their applications to computer science, Czech Science Foundation 17-04630S, 2017-2019. Total budget: 5.769.000 CZK (approx. 225.000 EUR).

• Local coordinator of Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics SYSMICS, European project H2020-MSCA-RISE-2015, 2016-2019. Budget for my team: 31.500 EUR.

• Principal investigator of First-order many-valued logics, Czech Academy of Sciences - CONICET Argentina, Bilateral Mobility Research Project, 2017-2018.

• Co-principal investigator of Logical models of vague quantifiers, Czech Science Foundation 15-03966S, 2015-2017. Budget for my team: 1.134.000 CZK (approx. 43.000 EUR).

Note: This project was awarded, but not executed because we also obtained the bigger joint project with the Austrian partner on the same topic.

• Co-principal investigator of Modeling vague quantifiers in mathematical fuzzy logic, joint project of Austrian Science Fund I1897-N25 and Czech Science Foundation GF15-34650L, 2015-2017. Budget for my team: 1.461.000 CZK (approx. 55.000 EUR).

• Principal investigator of An order-based approach to non-classical propositional and predicate logics, Czech Science Foundation 13-14654S, 2013-2016. Total budget: 4.570.000 CZK (approx. 175.000 EUR).

• Personal grant Abstract algebraic logic with applications to substructural and fuzzy logics. "Beatriu de Pinós" grant of the Catalan government, 2013-2014.

Note: This project was awarded with funding for two years of full salary and travel budget, but not executed because I accepted a new job in Prague.

• Personal grant Mathematical fuzzy logic as a tool for reasoning with imperfect information. "Juan de la Cierva'' grant of the Spanish government (JCI-2009-05453), 2009-2012. Total budget: 72.000 EUR.

• Personal grant Algebraic and proof-theoretic methods for the formalization of reasoning with vagueness. "Beatriu de Pinós'' grant of the Catalan government (2006-BPA-10043), 2007-2009. Total budget: 58.000 EUR.

Funded projects often include positions for postdoctoral researchers. Interested young researchers with a background in logic (and an education in mathematics, philosophy, computer science, linguistics, or psychology) are encouraged to contact me for more information.