Edsger Dijkstra

Edsger Dijkstra Wybe nació de mayo de 1930 en Rotterdam, Holanda. Fue hijo de un quimico y una matemática. Estudio Física y Matemáticas en la Universidad de Leyden, terminando en 1951. Más tarde un doctorado en física teórica en la misma universidad en 1956, seguido de un Ph. D. en 1959 en la Universidad de Amsterdan. En 1952 cmenzó a trabajar en un centro matemático de Amsterdan donde aprendio a programar, siendo el primer programador en Holanda.

En 1962 pasó a ser profesor de la Universiad Tecnológica de Eindhoven hasta 1984. En paralelo, desde 1973 a 1984 fue investigador para Burroughs. Finalmete, en 1984 aceptó la cátedra Schlumberger en la Universidad de Texas at Austin , hasta que se jubiló en 1999.

Dijkstra escribió más de 1300 artículos, pero indudablemente hay cuatro contribuciones cuyo impacto está presente en numerosos ámbitos de la contribución moderna:

• Algoritmo para encontrar el camino más corto en un grafo, también conocido como el algoritmo de Dijkstra , este fue el primer algoritmo de grafos que resolvió Dijkstra en1956 y publicado en 1959 porque en esa época un algoritmo era difícilmente considerado un logro científico. Hoy en día, este algoritmo ha sido usado como la base para protocolos de enrutamiento en Internet, sistemas de posicionamiento global o simplemente para itinerarios de viaje.

• El concepto de abrazo mortal (deadlock) y su solución a través de semáforos y regiones de código con acceso exclusivo. Dijktra describió el problema con la cena de los famosos cinco filósofos que solo tenían cinco palillos para comer arroz. Si ellos no se ponían de acuerdo y tomaban un palillo cada uno creaban un deadlock y morían de hambre pues se necesitaban dos palillos para comer. Esta es la base de la programación concurrente y una parte fundamental de cualquier sistema operativo.

• Su aporte a la programación estructurada. Dijktra participó en el comité que diseño ALGOL 60, el primer lenguaje de programación estructurado y lo promovió intensamente fomentado la verificación formal de programas y la eliminación del GOTO. Dijkstra trabajó en el equipo que implementó el primer compilador para ese idioma. Dijkstra y Jaap Zonneveld , quien colaboró ​​en el compilador, acordó no afeitarse hasta que el proyecto se ha completado. Fue uno de los primeros compiladores de apoyo recursividad.En este tema fue autor y coautor de varios libros, además de su artículo corto “Go To statement considered harmful” (la instrucción go to es considerada dañina) publicada en Communications of ACM en 1968, que es legendario.

• Otro concepto por Dijkstra en el campo de la computación distribuida es la de auto-estabilización - una forma alternativa para garantizar la fiabilidad del sistema. El algoritmo de Dijkstra se utiliza en SPF, Primera ruta más corta , que se utiliza en el protocolos de enrutamiento OSPF y IS-IS .

Desde la década de 1970, el principal interés de Dijkstra fue la verificación formal . La opinión predominante en ese momento era que primero se debe escribir un programa y luego proporcionar una prueba matemática de la corrección . Dijkstra objetó señalando que las pruebas resultantes son largos y engorrosos, y que la prueba no da ninguna idea sobre cómo el programa ha sido desarrollado. Un método alternativo es la derivación del programa , para "desarrollar la prueba y de la mano del programa en la mano". Uno comienza con una especificación matemática de lo que un programa se supone que hace y aplica transformaciones matemáticas a la especificación hasta que se convirtió en un programa que puede ser ejecutado. El programa resultante se sabe que es correcto por la construcción. Gran parte de la obra posterior de Dijkstra maneras de simplificar las preocupaciones argumento matemático. En una entrevista en 2001, declaró un deseo de "elegancia", por lo que el enfoque correcto sería para procesar los pensamientos mentales, en lugar de tratar de hacerlos hasta que se hayan completado. La analogía que hizo fue comparar los enfoques de composición de Mozart y Beethoven .

Poco antes de su muerte en 2002, recibió el ACM Premio PODC papel influyente en la computación distribuida por su trabajo en auto-estabilización de la computación del programa. Este premio anual se cambió el nombre del Premio Dijkstra al año siguiente, en su honor.

Finalmente, murió en Nuenen, Holanda el 6 de Agosto de 2002despu´s de una larga lucha contra el cáncer. Dijkstra se casó en 1957 con María Debets (más conocida como Ria) y tuvo tres hijos: Marcus, Feme y Rutger, el único que siguió sus pasos en la computación.