Projects
National projects:
- 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.
International projects:
- Linear Logic And Probabilistic Programming LILOPRO, a bilateral project between Serbia and France within the program Pavle Savić - Hubert Curien Partnership 2025-2026
- 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.