W ramach prowadzonych badań naukowych opisała wewnętrzną strukturę algebr równoważnościowych będących semantycznym odpowiednikiem czysto równoważnościowego fragmentu intuicjonistycznego rachunku zdań i w pełni zbadała relacje między algebrami równoważnościowymi a półkratami Brouwera. Jest autorką pojęcia algebra wielomianowo bogatych i udowodniła, iż lokalnie skończona rozmaitość, w której wszystkie skończone algebry są wielomianowo bogate jest kongruencyjnie modularna oraz dokonała charakteryzacji wielomianowo bogatych rozmaitości kongruencyjnie permutowalnych. W konstruktywny sposób opisała równoważnościowe formuły w logice Gödela-Dummetta. Dokonała także opisu teorii komutatora w algebrach równoważnościowych i rozmaitościach fregowskich, a także analizy projektywności w tych ostatnich.
Była promotorem rozprawy doktorskiej Sławomira Przybyło pt.