Projects
- 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, Ministry of Education and Science, Project III 44006, 2011-2020. (investigator)
- Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project OI 174026, 2011-2020. (investigator)
Past Projects
- Reversible computation - extending horizons of computing, Cost Action IC1405, 2014-2018.
- Behavioural Types for Reliable Large-Scale Software Systems (BETTY),Cost Action IC1201, 2012-2016. (MC member)
- Dynamically and Autonomously Reconfigurable Types (DART), Bilateral Project between Italy and Serbia 2013-2015. (coordinator for Serbia)
- Cost Action IC0901: Rich-Model Toolkit -An Infrastructure for Reliable Computer Systems, 2009-2013.
- Model, types, languages and processes in computing,Ministry for Science and Environmental protection of Republic Serbia, Project no. 144029, 2006-2010.
- Mathematical models in information technologies, Provincial Secretariat for Science and Technological Development of Autonomous Province of Vojvodina, 2005-2010.
- Tempus, ETF-JP-00051-2008 Conversion Courses for Unemployed University Graduates in Serbia (CONCUR), 2009 -2012. (management team member)
- Tempus JEP-41099 Doctoral school towards European Knowledge Society DEUKS,2007 -2009. (management team member)
- Distance learning in the area of computer supported mathematical education, Bilateral project Serbia-Slovenia, 2006-2007. (management team member)
- Tempus SCM-C026B06 , European expert training for accession, Extra2, 2007 -2008. (management team member)
- Tempus SCM-C0009B04, Implementation of ECTS on Serbian universities, Tempus , 2006-2007.