Edsger Wybe Dijkstra
(1930 - 2002)
|
|
Dijkstra was born in Rotterdam, May 11 1930. Dijkstra studied theoretical physics at the University of Leiden. He worked at the Eindhoven University of Technology in the Netherlands and the University of Texas at Austin in America. He developed the shortest path-algorithm for which he received the Turing prize in 1972. While he is renowned for his statements about the negative effects of the GOTO statement, his overall contribution to the theory of program correctness is more important. In many ways the UML is based on his proposition that if you start with a mathematical proposition of the program's requirements and then apply transformations the result will be an executable program that is correct
|
