доц. др Светлана Јакшић


Недостаје слика

др Светлана Јакшић

Доцент


Телефон021/485-2288
E-mail
Академско звањеДоцент
КанцеларијаЛабораторија 114

Бави се истраживањем у области конкурентних система.

Образовање:

2005 – Природно-математички факултет у Новом Саду, смер Професор математике - теоријско усмерење, универзитетска награда за постигнут успех у току основних студија
2008 - одбрањена мастер теза на Факултету техничких наука, смер Математика у техници
2016 - одбрањена докторска теза на Факултету техничких наука, смер Математика у техници 




Доцент
01.04.2017.
Радно местоОдДоОрганизациона јединица
Сарадник у настави22.12.2008.01.10.2009.Департман за опште дисциплине у техници
Истраживач приправник30.08.2006.01.12.2008.Департман за опште дисциплине у техници
Стручни сарадник на пројекту01.04.2006.01.08.2006.Департман за опште дисциплине у техници
Стручни сарадник-Лаборант31.07.2016.Катедра за математику
Асистент16.10.2009.01.07.2016.Катедра за математику
НазивУ Установи
-

Диплома

Математичке науке

Природно-математички факултет

2005

Types for Access and Memory Control

Докторат

ИМТ Студије (Примењена математика: Математичке науке; Електротехничко и рачунарско инжењерство)

Факултет техничких наука

2016

Модели мобилних процеса

Мастер рад

Математичке науке

Факултет техничких наука

2008

Критеријум продукцијеОпис
(М22) Рад у истакнутом међународном часопису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
ЗвањеУжа научна областВисокошколска установаДатум избора
ДоцентТеоријска и примењена математикаФакултет техничких наука01.04.2017.
Асистент-мастерМатематикаФакултет техничких наука16.10.2012.
Сарадник у наставиМатематикаФакултет техничких наука22.12.2008.