She has been described as a "brilliant mathematician", and did research on the interface between algebra and logic, focusing on undecidability in group theory.
Έχει περιγραφεί ως "λαμπρή μαθηματικός", και έκανε  έρευνα για τη διασύνδεση μεταξύ άλγεβρας και λογικής, με έμφαση στη μη-αποφασισιμότητα στην θεωρία ομάδων.