Domaći projekti:

• Algebraic and logical methods for explainable artificial intelligence (ALADDIN), Science Fund of the Republic of Serbia, Serbian Science and Diaspora Collaboration Program, 2020-2022 (project partner: Nataša Sladoje, Centre for Image Analysis, Department of Information Technology, Uppsala University, Sweden)
• Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project OI 174026, 2011-2018.

Internacionalni projekti:

• TaRDIS: Trustworthy and Resilient Decentralised Intelligence for Edge Systems, HorizonEurope, 2023-2025. Twetter LinkedIn
• EuroProofNet, Cost Action CA 20111, 2020-2025.
• Reversible computation – extending horizons of computing, Cost Action IC1405, 2014-2018.
• Behavioural Types for Reliable Large-Scale Software Systems (BETTY),Cost Action IC1201, 2012-2016.