Después se graduó en la Universidad de Mánchester, en Indiana, y regresó a Míchigan para estudiar en la Universidad Estatal de Míchigan (entonces llamada Michigan State College), donde obtuvo un master en 1950.
[2][3] En 1951, se casó con Arthur Karp y adoptó su apellido.
Continuó sus estudios de posgrado en matemáticas mientras viajaba a California y Japón con su marido, que trabajaba para la Armada de los Estados Unidos.
Su tesis, sobre la teoría del lenguaje formal y la lógica infinita, se tituló Languages with Expressions of Infinite Length.
[3] En 1969, le diagnosticaron cáncer de mama, pero permaneció activa hasta su muerte tres años después.