Her research is about how biology performs computation, "in particular using formal models such as cellular or other finite types of automata, formal language theory symbolic dynamics, and topological graph theory to describe molecular computation."
Нејзиното истражување е во врска со тоа како биологијата врши пресметка, "особено користејќи формални модели како што се ќелиски или други конечни типови на Аутомата, формална јазична теорија на симболичката динамика и тополошката графичка теорија за опишување на молекуларната пресметка."