1981. дипломирала на Природно-математичком факултету у Новом Саду, Одсек за математику 1988. Магистирала на Математичком факултету у Београду 1993. Докторирала на Природно-математичком факултету у Новом Саду 1990. Стручно усавршавање Department of Computing, Catholic University, Нијмеген, Холандија 1991. Гостујући истраживач Dipartimento di Informatica, Universita di Torino, Италија 1993. гостујући истраживач Department of Mathematics and Statistics, McGill University, Montreal, Канада 2000.-2001. Гостујући предавач Department of Computing, Catholic University, Нијмеген, Холандија 2001.-2002. гостујући предавач Ecole Normale Superieure, Lion, Француска 2007. Професор по позиву Ecole Normale Superieure, Lion, Француска Пројекти: Руководилац је - два национална пројекта: републички (2006-2010.), покрајински (2006-2008.), - два билатерална: са Словенијом (2006-2007., са ЦНРС Француска (2007-2008.) - TEMPUS -JEP 2007-2009. - FP6 IST-FET 2004-2008. Предавања по позиву у иностранству: - University of Utrecht (1990.), Utreht, Холандија, - University of Nijmegen (1991., 2001.), Nijmegen, Холандија, - University of Turin (1991., 1992., 2000., 2002.), Torino, Италија, - Universita di Sapienza, Rome (1992.), Рим, Италија, - McGill University (1993.), Монтреал, Канада - Universite de Quebec a Montr'eal (1993.), Монтреал, Канада, - Jozsef Atilla University, Szeged (1997.), Сегедин, Мадјарска, - Ecole Normale Superieure de Lyon (2002., 2007.), Lion, Француска, - University of Athens (2003.), Атина, Грчка. Листа ко-аутора H.P.Barendregt (U.Nijmegen, Холандија), M.Dezani-Ciancaglini, S.Likavec (U.Torino, Италија), D.Dougherty (Worcester Polytechnic Insitute, САД), H.Herbelin (Ecole Polytechnique, Париз, Француска), В.Кунчак (МИТ, САД), P.Lescanne (Ecole Normale Superieure, Lyon, Француска), Ј.Пантовић, Ј.Иветић (У.Нови Сад), B.Venneri (U.Florence, Италија), Ј.Зунић (U.Exeter,V.B.), J. Espirito Santo (U.Minho, Португалија). Стални је рецензент је у медјународним часописима 5 категорије Р51 и 4 категорије Р52 за издаваче Academic Press (САД), Springer Verlag (Немачка), Cambridge i Oxford University Press (Велика Британија), Elsevier (Холандија). Рецензент је за водеће медјународне конференције у области логике у рачунарству (TLCA 2007, Париз, Француска; TLCA 2005, Нара, Јапан; РТА 2004, Ацхен, Немачк.; WoLLIC 2004, Париз, Француска; TYPES 2002, Холандија, РТА 2002, Цопенхаген, Данска; ТЦС 2002, Монтреал, Канада; ACM SIGPLAN ICFP 2000, Монтреал, Канада)
(М14) Монографска студија/поглавље у књизи М12 или рад у тематском зборнику међународног значаја
Computational interpretations of logics ( S. Likavec) Collected papers, Mathematical Institute SANU 12(20) :159-215, (2009), (special issue Logic in Computer Science, ed Z. Ognjanovic, invited paper).
(М21) Рад у врхунском међународном часопису
"Full intersection types and topologies in lambda calculus", Journal of Computer and System Sciences, 62 (2001) 1-14.
(М21) Рад у врхунском међународном часопису
"Combining behavioural types with security analysis" (sa M. Bartoletti, I. Castellani, P.-M. Denielou, M. Dezani-Ciancaglini, J. Pantovic, J. A. Perez, P. Thiemann, B. Toninho, H. Torres Vieira) Journal of Logical and Algebraic Methods in Programming 84: 763–780 (2015).
(М21) Рад у врхунском међународном часопису
"Separating Points by Parallel Hyperplanes " (sa J. Pantovic, J. Zunic), IEEE Transactions of Neural Networks 18(5) (2007) 1356-1363
(М22) Рад у истакнутом међународном часопису
"Encoding of Multi Level S-Threshold Functions" (sa J. Pantovic, J. Zunic) Journal of Multiple-Valued Logic and Soft Computing 26(1-2): 89-108 (2016).
(М22) Рад у истакнутом међународном часопису
"Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, (sa D.Dougherty, P.Lescanne) Theoretical Computer Science 398: 114-128 (2008).
(М23) Рад у међународном часопису
"An approach to call-by-name delimited continuatios" (sa H. Herbelin) Symposium on Principles of Programming Languages, POPL 2008, ACM SIGPLAN Notices 43 (1): 383-394 (2008)
(М23) Рад у међународном часопису
"Dynamic Role Authorisation in Multiparty Conversations" (sa S. Jakšić, J. Pantović, J. A. Pérez and H. Torres Vieira) Formal Aspects of Computing 28 (4): 643–667 (2016).
(М23) Рад у међународном часопису
"Binary relations and algebras on multisets" (sa J. Pantovic, G. Vojvodic) Publications de l'Institut Mathematique (N.S.) 95 (109): 111-117 (2014).
(М23) Рад у међународном часопису
"Intersection types and related systems" (sa L. Paolini) Fundamenta Informaticae 121(1-4) (2012).
(М23) Рад у међународном часопису
"Characterising strongly normalising intuitionistic sequent terms" (sa J. Espirito-Santo, J. Ivetici) Lecture Notes in Computer Science (2007).
(М23) Рад у међународном часопису
"Linked Data Privacy", Mathematical Structures in Computer Science, 27(1): 33-53 (2017).
(М31) Предавање по позиву са међународног скупа штампано у целини
Types for role based access control of dynamic web data (sa M. Dezani-Ciancaglini, S. Jaksic, J. Pantovic) WFLP'10, Lecture Notes in Computer Science 6559: 1-29 (2011).
(М33) Саопштење са међународног скупа штампано у целини
Intersection Types for the Resource Control Lambda Calculi (sa J. Ivetic, P. Lescanne, S. Likavec) ICTAC 2011, Lecture Notes in Computer Science 6916: 116-134 (2011).
(М22) Рад у истакнутом међународном часопису
"Inhabitation in lambda calculus with intersection and union types", Journal of Logic and Computation 6 (1993) 671-685, Oxford University Press
(М22) Рад у истакнутом међународном часопису
"Lambda terms for natural deduction, sequent calculus and cut elimination" (sa H.P.Barendregt), Journal of Functional Programming, 10 (2000) 121-134.
(М23) Рад у међународном часопису
"Classical proofs, typed processes and intersection types" (sa P. Lescanne), Lecture Notes in Computer Science 3085 (2004) 226-241.
"Behavioural inverse limit lambda models" (sa M. Dezani-Ciancaglini, S. Likavec), Theoretical Computer Science Vol 316/1-3 (2004) 49-74.
(М22) Рад у истакнутом међународном часопису
"Security types for dynamic web data" (sa M.Dezani-Ciancaglini, J. Pantovic, D. Varaca), Theoretical Computer Science (2008).
(М23) Рад у међународном часопису
"Two behavioural lambda models" (sa M. Dezani-Ciancaglini) Lecture Notes in Computer Science 2646 (2003) 127-147.
(М23) Рад у међународном часопису
"Security types for dynamic web data" (sa M.Dezani-Ciancaglini, J. Pantovic), Trustworthy Global Computing, TGC"06, Lecture Notes in Computer Science 4661 (2007) 263-280.
(М23) Рад у међународном часопису
"Strong normalization of the classical sequent calculus" (sa D. Dougherty, P. Lescanne, S.Likavec), Lecture Notes in Computer Science 3835 (2005) 169-183.
(М23) Рад у међународном часопису
"Applications of typed lambda calculi in the untyped lambda calculus" Lecture Notes in Computer Science 813 (1994) 129-139.
(М23) Рад у међународном часопису
"Confluence of untyped lambda calculus via simple types" (with V.Kuncak), ICTCS"01, Lecture Notes in Computer Science 2201, 38-49.
(М31) Предавање по позиву са међународног скупа штампано у целини
"A lambda model characterizing computational behaviours of terms" (sa M. Dezani-Ciancaglini) invited talk at Rewriting in Proofs and Computation, (RPC"01) (Y. Toyama ed.) Sendai, Japan, (2001) 100-118
