Va ser matemàtica i la contribuïdora principal al desenvolupament de la Teoria de Funcions Especials Recursives. Va aplicar els seus coneixements de matemàtiques per a l’elaboració de funcions recursives que després es van aplicar a les computadores.
