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, Монтреал, Канада)