Бави се истраживањем у области конкурентних система.
Образовање:
2005 – Природно-математички факултет у Новом Саду, смер Професор математике - теоријско усмерење, универзитетска награда за постигнут успех у току основних студија
2008 - одбрањена мастер теза на Факултету техничких наука, смер Математика у техници
2016 - одбрањена докторска теза на Факултету техничких наука, смер Математика у техници
Jakšić S., Padovani L.: Exception Handling for Copyless Messaging, Science of Computer Programming, 2014, Vol. 84, pp. 22-51, ISSN 0167-6423
(М23) Рад у међународном часопису
Jakšić S., Pantović J., Gilezan S.: Linked data privacy, Mathematical Structures in Computer Science, 2017, Vol. 27, pp. 33-53, ISSN 0960-1295
(М23) Рад у међународном часопису
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
(М31) Предавање по позиву са међународног скупа штампано у целини
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
(М33) Саопштење са међународног скупа штампано у целини
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
(М33) Саопштење са међународног скупа штампано у целини
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
(М33) Саопштење са међународног скупа штампано у целини
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
(М33) Саопштење са међународног скупа штампано у целини
Jakšić S., Padovani L.: Exception Handling for Copyless Messaging, 14. Principles and Practice of Declarative Programming, Leuven, 19-21 Septembar, 2012
(М33) Саопштење са међународног скупа штампано у целини
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
(М33) Саопштење са међународног скупа штампано у целини
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.
(М63) Саопштење са скупа националног значаја штампано у целини
Jakšić S., Li D., Pun K. I., Stolz V.: Stream-based dynamic data
race detection. In Proceedings of NIK2018, 2018.
(М71) Одбрањена докторска дисертација
Jakšić S.: Types for Access and Memory Control, Novi Sad, 2016, str. 1-186
