The Crossword of Donald Knuth

12345678910111213
Across
  1. 2. Received his PhD in
  2. 4. Code-breaking board game
  3. 7. Professor at _______ University
  4. 8. PhD from ________ (school nickname)
  5. 9. Language and rendering system
  6. 12. Received his undergraduate degree in
  7. 13. Retired professor with benefits/no-pay
Down
  1. 1. The Art of Computer ___
  2. 3. Total number of desired volumes
  3. 5. possible codewords
  4. 6. To get a Mastermind symbol & placement correct (color)
  5. 10. computer typesetting system Knuth created
  6. 11. To get a Mastermind symbol correct (color)