Mary Kenneth Keller: First US PhD in Computer Science