doc. dr Svetlana Jakšić


Nedostaje slika

dr Svetlana Jakšić

Docent


Telefon021/485-2288
E-mail
Akademsko zvanjeDocent
KancelarijaLaboratorija 114

Bavi se istraživanjem u oblasti konkurentnih sistema.

Obrazovanje:

2005 – Prirodno-matematički fakultet u Novom Sadu, smer Profesor matematike - teorijsko usmerenje, univerzitetska nagrada za postignut uspeh u toku osnovnih studija
2008 - odbranjena master teza na Fakultetu tehničkih nauka, smer Matematika u tehnici
2016 - odbranjena doktorska teza na Fakultetu tehničkih nauka, smer Matematika u tehnici 




Docent
01.04.2017.
Radno mestoOdDoOrganizaciona jedinica
Saradnik u nastavi22.12.2008.01.10.2009.Departman za opšte discipline u tehnici
Istraživač pripravnik30.08.2006.01.12.2008.Departman za opšte discipline u tehnici
Stručni saradnik na projektu01.04.2006.01.08.2006.Departman za opšte discipline u tehnici
Stručni saradnik-Laborant31.07.2016.Katedra za matematiku
Asistent16.10.2009.01.07.2016.Katedra za matematiku
NazivU Ustanovi
-

Diploma

Matematičke nauke

Prirodno-matematički fakultet

2005

Types for Access and Memory Control

Doktorat

IMT Studije (Primenjena matematika: Matematičke nauke; Elektrotehničko i računarsko inženjerstvo)

Fakultet tehničkih nauka

2016

Modeli mobilnih procesa

Master rad

Matematičke nauke

Fakultet tehničkih nauka

2008

Kriterijum produkcijeOpis
(M22) Rad u istaknutom međunarodnom časopisuJakšić S., Padovani L.: Exception Handling for Copyless Messaging, Science of Computer Programming, 2014, Vol. 84, pp. 22-51, ISSN 0167-6423
(M23) Rad u međunarodnom časopisuJakšić S., Pantović J., Gilezan S.: Linked data privacy, Mathematical Structures in Computer Science, 2017, Vol. 27, pp. 33-53, ISSN 0960-1295
(M23) Rad u međunarodnom časopisuGilezan S., Jakšić S., Pantović J., Perez A. J., Torres Vieira H.: Dynamic Role Authorisation in Multiparty Conversations (25 pages, DOI:10.1007/s00165-016-0363-5), Formal Aspects of Computing, 2016, ISSN 0934-5043
(M31) Predavanje po pozivu sa međunarodnog skupa štampano u celiniDezani Ciancaglini M., Gilezan S., Jakšić S., Pantović J.: Types for role based access control of dynamic web data (http://dblp.uni-trier.de/db/conf/wflp/wflp2010.html), Lecture notes in computer science, 2011, No 6559, pp. 1-29, ISSN 0302-9743, 19. Workshop on Functional and (Constraint) Logic Programming, Madrid: Springer, 17 Januar, 2010, pp. 1-29
(M33) Saopštenje sa međunarodnog skupa štampano u celiniGilezan S., Jakšić S., Pantović J., Pérez J., Torres Vieira H.: A Typed Model for Dynamic Authorizations, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: EPTCS, 18 April, 2015, pp. 73-84
(M33) Saopštenje sa međunarodnog skupa štampano u celiniDezani-Ciancaglini M., Gilezan S., Jakšić S., Pantović J., Yoshida N.: Precise subtyping for synchronous multiparty sessions, Electronic Proceedings in Theoretical Computer Science, 2015, Vol. 203, pp. 29-43, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: Open Publishing Association, 18 April, 2015, pp. 29-43
(M33) Saopštenje sa međunarodnog skupa štampano u celiniGilezan S., Pantović J., Jakšić S., A. Pérez J., T. Vieira H.: Dynamic Role Authorization in Multiparty Conversations, 3. International Workshop on Behavioural Types, Rim: Open Publishing Association, 1 Septembar, 2014, pp. 1-8
(M33) Saopštenje sa međunarodnog skupa štampano u celiniJakšić S., Padovani L.: Exception Handling for Copyless Messaging, 14. Principles and Practice of Declarative Programming, Leuven, 19-21 Septembar, 2012
(M33) Saopštenje sa međunarodnog skupa štampano u celiniDi Gianantonio P., Jakšić S., Lenisa M.: Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus, Lecture notes in computer science, 2010, Vol. 6269, pp. 358-372, ISSN 0302-9743, 21. CONCUR, Pariz, 31-3 Avgust, 2010, pp. 358-372
(M33) Saopštenje sa međunarodnog skupa štampano u celiniJakšic S., Leucker M., Li D., Stolz V.: COEMS - open traces from the industry. In Proceedings of RV-CuBES 2017, volume 3 of Kalpa Publications in Computing, pages 96–105. EasyChair, 2017.
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celiniJakšić S., Li D., Pun K. I., Stolz V.: Stream-based dynamic data race detection. In Proceedings of NIK2018, 2018.
(M71) Odbranjena doktorska disertacijaJakšić S.: Types for Access and Memory Control, Novi Sad, 2016, str. 1-186
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
DocentTeorijska i primenjena matematikaFakultet tehničkih nauka01.04.2017.
Asistent-masterMatematikaFakultet tehničkih nauka16.10.2012.
Saradnik u nastaviMatematikaFakultet tehničkih nauka22.12.2008.