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: 55.200 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 (emails that look like massively sent messages will be ignored).