International projects

  • TaRDIS - Trustworthy and Resilient Decentralised Intelligence for Edge Systems, Horizon Europe project has been approved in July 2022. The starting date is January 1, 2023. Project duration 36 months (2023-2025).
    project web page
  • EUROProofNet - European Research Network on Formal Proofs COST CA20111 (2020-2025)
  • EUGAIN - European Network For Gender Balance in Informatics COST CA19122 (2019-2024)
  • EUTYPES - The European research network on types for programming and verification, COST CA15123 (2015-2020)

National projects

  • AI4TrustBC - Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology, Science Fund Republic of Serbia
  • 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