Projects

Recent

* International project: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

• • coordinators: Iliano Cervesato, Professor of computer science, Carnegie Mellon University, Pittsburgh, USA / Giselle Reis, Professor at CMU-Q

  • in collaboration with the IT University of Copenhagen, Denmark (Prof. Carsten Schürmann)

  • research funded by the Qatar National Research Fund as project NPRP 7-988-1-178 

  • duration: 2016-2019. (duration 3 years)

  • project page: here

* National project: Representations of logical structures and formal languages and their application in computing

• • coordinator: Prof. Silvia Ghilezan, Faculty of Technical Sciences, University of Novi Sad / MI SANU Belgrade

  • with Mathematical Institute SANU, Belgrade

  • research funded by the Ministry of Science and TD, Republic of Serbia, project no. 174026

  • duration: 2010-2021.

  • webpage: find it here 

Previous

               International project: 2012-2013: Logic and types in foundation of information technologies

• • bilateral project between France and Serbia, program "Pavle Savić - Hubert Curien"

  • duration: 2012-13

  • webpage: none available

National project, 2008-2010 : Models, languages, types and processes in computing

• • coordinator: Prof. Silvia Ghilezan, Faculty of Technical Sciences, University of Novi Sad

  • with Mathematical Institute SANU, Belgrade, project no. 144029

  • webpage: here

International project, 2004-2008 : Mathematical logic and aplications - mathlogaps

• • in the framework of european EU FP6 frmework program; project no. 504029

  • coordinator Dr. Dugald Macpherson, University of Leeds, UK

  • participants: Universities of Leeds, Manchester, Lyon, Munich

  • webpage: here