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 ON 174008 Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security

(Novi prilozi tehnikama kriptologije, procesiranja slika i algebarske topologije za informacionu bezbednost)
Project leader: Dr. Miodrag Mihaljević miodragm@mi.sanu.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)
  • Reversible computation - extending horizons of computing, COST IC1405, (2014-2018)
  • 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)

Past projects

  • COSCH - Colour and Space in Cultural Heritage, COST TD1201 (2012-2016)
  • BETTY - Behavioural Types for Reliable Large-Scale Software Systems, COST IC1201 (2012-2016)
  • DART: Dynamically and Autonomously Reconfigurable Types, Bilateral Project between Italy and Serbia (2013-2015)
  • SEMACODE - Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité, INRIA équipe associée
  • Logic and Types in Foundation of Information Technologies, bilateral project between France and Serbia, program "Pavle Savić - Hubert Curien" (2012-2013)
  • Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems, COST IC0901 (2009-2013)
  • TYPES - Types for Proofs and Programs, FP6-2002-IST-C no. 510996 (2004-2008).
  • DEUKS - Doctoral School towards European Knowledge Society, TEMPUS Project JEP - 41099 - 2006 (2007- 2009).
  • TLIT - Types and Logic in Information Technologies, bilateral project with CNRS – France (2007-2008, 2009-2010).
  • Models, Languages, Types and Processes in Computer Science, project no. 144029, Ministry of Science (2006-2010).
  • Mathematical Models in Information Technologies MMIT, Provincial Secretariat for Science and Technological Development (2005-2010).
  • Distance learning in the area of computer supported mathematical education, bilateral project with Slovenia (2006-2007).