Edsger Dijkstra.

Edsger Wybe Dijkstra fue un científico de la computación de origen holandés.Recibió un importante premio otorgado por la Asociación de Sistemas Computarizados, por sus aportes en la rama de computación distribuida durante su trabajo en el tema de auto-estabilizadores de programas de computación. Este premio anual pasó a llamarse a partir del siguiente año el Premio Dijkstra en honor del notable científico. Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como investigador para Burroughs Corporation a principios de los años 1970. En la Universidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger Centennial Chair in Computer Sciences. Se retiró en 2000.

Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su corrección. Dijkstra objetó que las pruebas que resultan son largas e incómodas, y que la prueba no da ninguna comprensión de cómo se desarrolló el programa. Un método alternativo es la derivación de programas, «desarrollar prueba y programa conjuntamente». Uno comienza con una especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.

Referencias:

[Imágen de Djikstra], recuperada de https://upload.wikimedia.org/wikipedia/commons/d/d9/Edsger_Wybe_Dijkstra.jpg

Hillier, F. S., Lieberman, G. J., & Osuna, M. A. G. (1997). Introducción a la Investigación de Operaciones (Vol. 3). McGraw-Hill.