National projects

Current projects

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

National Projects (2011–2019) supported by the Ministry of Education, Science and Technological Development, 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)
Project leader: Dr. Silvia Ghilezan

  • PROJECT III 044006 Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education

(Razvoj novih informaciono-komunikacionih tehnologija, korišćenjem naprednih matematičkih metoda, sa primenama u medicini, telekomunikacijama, energetici, zaštiti nacionalne baštine i obrazovanju)
Project leader: Dr. Zoran Ognjanović

International projects

  • LeTSGEPs Leading Towards Sustainable Gender Equality Plans in research performing organisations, H2020-SwafS ID: 873072 (2020-2023)
  • EUGAIN European Network For Gender Balance in Informatics COST CA19122 (2019-2024), MC member
  • EUROProofNet - European Research Network on Formal Proofs COST CA20111 (2020-2025), MC member

Past projects

  • EUTYPES - The European research network on types for programming and verification, COST CA15123 (2015-2020), Core group member, MC member, STSM coordinator
  • BE-OPEN - Boosting Engagement of Serbian Universities in Open Science, ERASMUS+ (2016-2020), Core group member
  • Immersive4learning, Innovation fund (2018-2019), Advisor
  • CoLoHA - Computational Logics and Higher Algebra (Logika u računarstvu i viša algebra), bilateral project between France and Serbia, program "Pavle Savić - Hubert Curien" (2016-2017), co-PI.
  • BETTY - Behavioural Types for Reliable Large-Scale Software Systems, COST IC1201 (2012-2016), MC member, STSM coordinator
  • SEMACODE - Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité, INRIA équipe associée
  • DART: Dynamically and Autonomously Reconfigurable Types, Bilateral Project between Italy and Serbia (2013-2015)
  • Logic and Types in Foundation of Information Technologies, bilateral project between France and Serbia, program "Pavle Savić - Hubert Curien" (2012-2013), co-PI.
  • Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems, COST IC0901 (2009-2013), MC member.
  • TYPES - Types for Proofs and Programs, FP6-2002-IST-C no. 510996 (2004-2008), site coordinator.
  • DEUKS - Doctoral School towards European Knowledge Society, TEMPUS Project JEP - 41099 - 2006 (2007- 2009), project co-ordinator.
  • TLIT - Types and Logic in Information Technologies, bilateral project with CNRS – France (2007-2008, 2009-2010), co-PI.
  • Models, Languages, Types and Processes in Computer Science, project no. 144029, Ministry of Science (2006-2010), project leader.
  • Mathematical Models in Information Technologies MMIT, Provincial Secretariat for Science and Technological Development (2005-2010), project leader.
  • Distance learning in the area of computer supported mathematical education, bilateral project with Slovenia (2006-2007), co-PI.

CMS projects