National projects

  • AI4TrustBC - Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology, Science Fund Republic of Serbia

International projects

Past projects

  • EUTYPES - The European research network on types for programming and verification, COST CA15123 (2015-2020)
  • PROJECT ON 174026 - Representations of logical structures and formal languages and their application in computing
    (Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu)
    national project (2011–2019), supported by the Ministry of Education, Science and Technological Development, Republic of Serbia
    Project leader: Dr Silvia Ghilezan