Edsger W. Dijkstra

賞

1. 1972

   チューリング賞

   情報科学

   for fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design