Her main research was in algebraic logic and the mathematical foundations of computer science.
Ang kanyang mga pangunahing pananaliksik ay sa algebraic lohika sa matematika at pundasyon ng computer science.