Research

My PhD thesis was completed in November 2016 at Faculty of Technical Sciences, University of Novi Sad under supervision of Prof. dr Jovanka Pantović and Prof. Mariangiola Dezani-Ciancaglini. I got my M.Sc. degree in Applied Mathematics from the same faculty in 2008 and my Diplom degree in Theoretical Mathematics from the Faculty of Science, University of Novi Sad in 2005.

My research interests include process calculi, type theory, concurrency theory, web security and privacy.

Projects

  • Cost Action IC1405: Reversible computation - extending horizons of computing, 2015-2019
  • DART - Dynamically and Autonomously Reconfigurable Types, bilateral project between Italy and Serbia, 2013-2015
  • Cost Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, 2012-2016
  • Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project ON 174026, 2011-2016
  • 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-2016
  • 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 JEP-41099 Doctoral school towards European Knowledge Society DEUKS, 2007-2009
  • Types for Proofs and Programs - TYPES, FP6 no. 51099, 2004-2008

Visits

  • Dipartimento di Informatica, Universita di Torino; mentor: Prof. Mariangiola Dezani-Ciancaglini; 2 weeks, 2013
  • Dipartimento di Informatica, Universita di Torino, Italy; mentors: Dr Luca Padovani and Prof. Mariangiola Dezani-Ciancaglini; 2 months, 2012
  • Dipartimento di Matematica e Informatica, Universita di Udine, Italy; mentor: Prof. Marina Lenisa; 3 months, 2009
  • Dipartimento di Informatica, Universita di Torino, Italy; mentor: Prof. Mariangiola Dezani-Ciancaglini; 4 months, 2008

Summer Schools