Slightly off-topic, but I wonder what Dijkstra would feel about the state of CS research if he came to the present time.

Hot topics now seem to be statistical ML stuff, and not the deterministic mathematical proofs that he was an advocate of.