Her contribution to theoretical computer science stems from her conviction that there are deep relations between methods of algebra and logic on the one side and essential problems of foundations of computer science on the other.
Ang kanyang mga kontribusyon sa panteorya computer science stems mula sa kanyang pananampalataya na may malalim na ugnayan sa pagitan ng mga pamamaraan ng algebra at lohika sa isang tabi at mahahalagang mga problema ng mga komunidad ng computer science sa iba pang mga.