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
Jakš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 časopisu
Jakš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 časopisu
Gilezan 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 celini
Dezani 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 celini
Gilezan 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 celini
Dezani-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 celini
Gilezan 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 celini
Jakš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 celini
Di 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 celini
Jakš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 celini
Jakšić S., Li D., Pun K. I., Stolz V.: Stream-based dynamic data
race detection. In Proceedings of NIK2018, 2018.
(M71) Odbranjena doktorska disertacija
Jakšić S.: Types for Access and Memory Control, Novi Sad, 2016, str. 1-186
