Optimization and prediction in therapy treatments of cancer (OPTIC), Science Fund of the Republic of Serbia, PROMIS 2023, 2024-2026.
Scientific and Artistic Research Work of Researchers in Teaching and Associate Positions at the Faculty of Technical Sciences, University of Novi Sad 2025 (No. 01-50/295).
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)
Representation of logical structure and formal language and their application in computing, Ministry of Education and Science, Project IO 174026, 2011-2020
Cost Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, 2012-2016
Tempus IV Project: Visuality & Mathematics: Experiential Education of Mathematics through Visual Arts, Sciences and Playful Activities, 2012-2014