1981. diplomirala na Prirodno-matematičkom fakultetu u Novom Sadu, Odsek za matematiku 1988. Magistirala na Matematičkom fakultetu u Beogradu 1993. Doktorirala na Prirodno-matematičkom fakultetu u Novom Sadu 1990. Stručno usavršavanje Department of Computing, Catholic University, Nijmegen, Holandija 1991. Gostujući istraživač Dipartimento di Informatica, Universita di Torino, Italija 1993. gostujući istraživač Department of Mathematics and Statistics, McGill University, Montreal, Kanada 2000.-2001. Gostujući predavač Department of Computing, Catholic University, Nijmegen, Holandija 2001.-2002. gostujući predavač Ecole Normale Superieure, Lion, Francuska 2007. Profesor po pozivu Ecole Normale Superieure, Lion, Francuska Projekti: Rukovodilac je - dva nacionalna projekta: republički (2006-2010.), pokrajinski (2006-2008.), - dva bilateralna: sa Slovenijom (2006-2007., sa CNRS Francuska (2007-2008.) - TEMPUS -JEP 2007-2009. - FP6 IST-FET 2004-2008. Predavanja po pozivu u inostranstvu: - University of Utrecht (1990.), Utreht, Holandija, - University of Nijmegen (1991., 2001.), Nijmegen, Holandija, - University of Turin (1991., 1992., 2000., 2002.), Torino, Italija, - Universita di Sapienza, Rome (1992.), Rim, Italija, - McGill University (1993.), Montreal, Kanada - Universite de Quebec a Montr'eal (1993.), Montreal, Kanada, - Jozsef Atilla University, Szeged (1997.), Segedin, Madjarska, - Ecole Normale Superieure de Lyon (2002., 2007.), Lion, Francuska, - University of Athens (2003.), Atina, Grčka. Lista ko-autora H.P.Barendregt (U.Nijmegen, Holandija), M.Dezani-Ciancaglini, S.Likavec (U.Torino, Italija), D.Dougherty (Worcester Polytechnic Insitute, SAD), H.Herbelin (Ecole Polytechnique, Pariz, Francuska), V.Kunčak (MIT, SAD), P.Lescanne (Ecole Normale Superieure, Lyon, Francuska), J.Pantović, J.Ivetić (U.Novi Sad), B.Venneri (U.Florence, Italija), J.Zunić (U.Exeter,V.B.), J. Espirito Santo (U.Minho, Portugalija). Stalni je recenzent je u medjunarodnim časopisima 5 kategorije R51 i 4 kategorije R52 za izdavače Academic Press (SAD), Springer Verlag (Nemačka), Cambridge i Oxford University Press (Velika Britanija), Elsevier (Holandija). Recenzent je za vodeće medjunarodne konferencije u oblasti logike u računarstvu (TLCA 2007, Pariz, Francuska; TLCA 2005, Nara, Japan; RTA 2004, Achen, Nemačk.; WoLLIC 2004, Pariz, Francuska; TYPES 2002, Holandija, RTA 2002, Copenhagen, Danska; TCS 2002, Montreal, Kanada; ACM SIGPLAN ICFP 2000, Montreal, Kanada)