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: