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)