InterestsProcess calculi, concurrency theory, type theory, web security.
Publications2012- Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Mariangiola Dezani-Ciancaglini: Types and Roles for Web Security.
In Transactions on Advanced Research, vol 8, pp 16-21.
20112010
Presentations- IFIP WG 11.11 Summer School on trust management, 2011, Copenhagen, Denmark, poster
- SVARM, FLoC, 2010, Edinburgh, UK
- CALCO-jnr, 2009, Udine, Italy
- 12th Serbian Mathematical Congress, 2008, Novi Sad Serbia
- Dani logike, 2007, Novi Sad, Serbia
Activities
- Probabilistic logics and applications, 2011, Belgrade, Serbia
- IFIP WG 11.11 Summer School on trust management, 2011, Copenhagen, Denmark
- RDP, 2011, Novi Sad, Serbia
- FATPA 2011, Belgrade, Serbia
- FloC, 2010, Edinburgh, UK
- FATPA 2010, Belgrade, Serbia
- CALCO, 2009, Udine, Italy
- GLOBAN Summer School, 2008, Warsaw, Poland
- ITRS 2008, 2008, Torino, Italy
- Types Conference, 2008, Torino, Italy
- FATPA 2008, Belgrade, Serbia
- Types Summer School, 2007, Bertionro, Italy
- Trends in Concurrency Summer School, 2006, Berinoro, Italy
Projects
|
|