National projects

Current Projects (2011–2016) supported by the Ministry of Education and Science, 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 gsilvia@uns.ac.rs

  • 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ć zorano@mi.sanu.ac.rs

International projects

  • EUTYPES - The European research network on types for programming and verification, COST CA15123 (2015-2019), Core group member, MC member, STSM coordinator
  • 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.
  • BE-OPEN - Boosting Engagement of Serbian Universities in Open Science, ERASMUS+ (2016-2019)

Past projects

  • 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