-
Primer matemático en crear una máquina programable
-
Inventora de lo que hoy se conoce como el primer algoritmo pensado para ser procesado por una máquina.
-
Inventó el primer compilador (A0) para el UNIVAC 1 en 1951 y popularizó la idea de lenguajes independientes de la máquina