CWP02GTO

12345678
Across
  1. 3. Called as the "father of the analysis of algorithms" and author of The Art of Computer Programming series [11]
  2. 4. The initial developer of the document preparation system LaTeX and worked on distributed systems [13]
  3. 7. Was one of the founders of the discipline of artificial intelligence [12]
  4. 8. He developed the sorting algorithm quicksort and a logic for verifying program correctness [9]
Down
  1. 1. Stalwart in algorithmics, widely considered as founder of Software Engineering [14]
  2. 2. His inventions include the first head-mounted graphical display [12]
  3. 5. Widely considered to be the father of theoretical computer science [10]
  4. 6. Was the inventor of the Backus-Naur form (BNF), a notation for formal language syntax [10]